Assertion list
penthouse (primary) → AtLocation
Results from Ascent++: 2
penthouse → AtLocation → building 0.38
penthouse → AtLocation → new york 0.29