Assertion list
base unit (subgroup of unit ) → IsA
Results from Ascent++: 5
base unit → IsA → kilogram 0.63
base unit → IsA → the meter 0.54
base unit → IsA → ampere 0.45
base unit → IsA → kelvin 0.40
base unit → IsA → correct height 0.25