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