Assertion list
stray dog (subgroup of dog ) → AtLocation
Results from Ascent++: 1
stray dog → AtLocation → public place 0.30