Assertion list
bin laden (primary) → IsA
Results from Ascent++: 1
bin laden → IsA → terrorist 0.27