Assertion list
apparatus (primary) → DefinedAs
Results from Ascent++: 2
apparatus → DefinedAs → a contact joint 0.29
apparatus → DefinedAs → the goal point 0.29