Assertion list
parking space (primary) → CapableOf
Results from Ascent++: 3
parking space → CapableOf → go unused 0.48
parking space → CapableOf → vary in space 0.33
parking space → CapableOf → comply with section 0.31