Assertion list
purebred dog (subgroup of dog ) → AtLocation
Results from Ascent++: 1
purebred dog → AtLocation → shelter 0.76