Package org.tweetyproject.arg.dung.divisions