Assertion list
digital caliper (subgroup of caliper ) → HasA
Results from Ascent++: 1
digital caliper → HasA → calibrated scale 0.25