Assertion list
insight (primary) → IsA
Results from Ascent++: 2
insight → IsA → car 0.28
insight → IsA → good car 0.16