Assertion list
piper (primary) → AtLocation
Results from Ascent++: 2
piper → AtLocation → houston 0.16
piper → AtLocation → prison 0.16