Assertion list
senior faculty (subgroup of faculty ) → AtLocation
Results from Ascent++: 1
senior faculty → AtLocation → the pavilions 0.68