Package org.tweetyproject.logics.cl.examples