Assertion list
long hallway (subgroup of hallway ) → CapableOf
Results from Ascent++: 1
long hallway → CapableOf → connected to raised study 0.68