Uses of Class
net.sf.tweety.lp.asp.parser.ASTNAFLiteral