Test Case Positive Entails

{PositiveEntailmentTest |author=Adrian Paschke |status=Proposed |dialect=Core |desc=Test if the second "result" argument is an answer of the query; Expected conclusion is "true" if the second argument is an answer of the query. For instance, a test case "testResult(p(?Arg),p(q))" for a test data set "r(q)" and a rule "p(?Arg):-r(?Arg)" will succeed. |pformat=Presentation |premise=testResult(?Query,?Result) |cformat=Presentation |conc= true }