Package org.tweetyproject.arg.deductive.parser