Assertion list
long hallway (subgroup of hallway ) → ReceivesAction
Results from Ascent++: 1
long hallway → ReceivesAction → led by the footlight 0.68