Assertion list
lounge (primary) → AtLocation
Results from Ascent++: 2
lounge → AtLocation → terminal 0.41
lounge → AtLocation → building 0.28