Assertion list
variable (primary) → IsA
Results from Ascent++: 3
variable → IsA → thing 0.50
variable → IsA → symbol 0.47
variable → IsA → quantity 0.44