Assertion list
vernier caliper (subgroup of caliper ) → HasA

Results from Ascent++: 1
vernier caliperHasA scale sliding parallel 0.68