Assertion list
vernier caliper (subgroup of caliper ) → HasProperty
Results from Ascent++: 1
vernier caliper → HasProperty → accurate 0.59