Assertion list
monitor lizard (subgroup of lizard ) → HasProperty
Results from Ascent++: 1
monitor lizard → HasProperty → carnivorous 0.82