Assertion list
tom (primary) → IsA
Results from Ascent++: 2
tom → IsA → cat 0.51
tom → IsA → fighter 0.30