Assertion list
digital caliper (subgroup of caliper ) → HasProperty
Results from Ascent++: 1
digital caliper → HasProperty → identical 0.25