Assertion list
meter (primary) → DefinedAs
Results from Ascent++: 1
meter → DefinedAs → the distance 0.43