Assertion list
nave (primary) → CapableOf
Results from Ascent++: 4
nave → CapableOf → filled with gallery 0.30
nave → CapableOf → filled with pew 0.30
nave → CapableOf → consist of six bays 0.25
nave → CapableOf → open to the aisle 0.25