Assertion list
motion (primary) → MadeOf
Results from Ascent++: 2
motion → MadeOf → the floor 0.41
motion → MadeOf → reasonable promptness 0.32