Assertion list
escalator (primary) → IsA
Results from Ascent++: 1
escalator → IsA → moving staircase 0.56