Assertion list
parent (aspect of pup ) → AtLocation
Results from Ascent++: 1
parent → AtLocation → town 0.25