Test Case Number of Results Less

From RIF
Jump to: navigation, search

{PositiveEntailmentTest |author=Adrian Paschke |status=Proposed |dialect=Core |desc=Test if the number of results for the query is less than the specified expected results, i.e. defines an upper bound for a test query. Conclusion is "true" if the derived number of results for the query is less than the specified number of results "?Number". For instance, "testNumberOfResults(p(?Arg),3)" 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 }