Assertion list
basic unit (subgroup of unit ) → IsA

Results from Ascent++: 2
basic unitIsA the meter 0.55
basic unitIsA the metre 0.47