Package org.tweetyproject.arg.aspic.examples