Assertion list
loom (primary) → IsA
Results from Ascent++: 1
loom → IsA → machine 0.53