Assertion list for term "a 7 mm diameter".

Results from Ascent++: 1
spindle HasAa 7 mm diameter 0.47