Assertion list
dial caliper (subgroup of caliper ) → HasA
Results from Ascent++: 1
dial caliper → HasA → circular dial 0.68