Assertion list
ramp (primary) → DefinedAs
Results from Ascent++: 1
ramp → DefinedAs → one side of the rod 0.25