Assertion list
holy war (subgroup of war ) → IsA
Results from Ascent++: 1
holy war → IsA → war 0.68