Assertion list
meter (primary) → IsA
Results from Ascent++: 2
meter → IsA → basic unit of length 0.33
meter → IsA → units of measurement 0.31