Assertion list
fire escape (primary) → AtLocation
Results from Ascent++: 1
fire escape → AtLocation → the front of the auditorium 0.25