Assertion list
detail (primary) → IsA
Results from Ascent++: 2
detail → IsA → fact 0.49
detail → IsA → in fact 0.39