Assertion list
ramp (primary) → IsA
Results from Ascent++: 1
ramp → IsA → inclined plane 0.25