Test Case Number of Results More

{PositiveEntailmentTest |author=Adrian Paschke |status=Proposed |dialect=Core |desc=Test if the number of results for the query is greater than the specified expected results, i.e. defines a lower bound for a test query. Conclusion is "true" if the derived number of results for the query is greater than the specified number of results "?Number". For instance, "testNumberOfResults(p(?Arg),1)" for a test data set "r(q)","r(s)" and a rule "p(?Arg):-r(?Arg)" will succeed. |pformat=Presentation |premise=testNumberOfResultsMore(?Query, ?Number) |cformat=Presentation |conc=true }