Assertion list
monitor lizard (subgroup of lizard ) → AtLocation
Results from Ascent++: 1
monitor lizard → AtLocation → australia 0.25