Assertion list
seat (aspect of stadium ) → CapableOf
Results from Ascent++: 1
seat → CapableOf → bring the capacity 0.25