Assertion list
lift (primary) → DefinedAs

Results from Ascent++: 1
liftDefinedAs acting perpendicular 0.25