Package org.tweetyproject.lp.asp.examples