clause_results(insect(ant), ['-'(ant, true), '-'(bee, true)]).