Assertion list
female dog (subgroup of dog ) → AtLocation
Results from Ascent++: 1
female dog → AtLocation → backpack 0.16