Assertion list
seat (aspect of stadium ) → AtLocation
Results from Ascent++: 1
seat → AtLocation → the stadium 0.49