Assertion list
imp (primary) → HasA
Results from Ascent++: 1
imp → HasA → a resolution of two millimeters 0.25