Assertion list
caliper (primary) → DefinedAs
Results from Ascent++: 2
caliper → DefinedAs → hand 0.25
caliper → DefinedAs → the embossed 0.25