Assertion list
civil war (subgroup of war ) → IsA
Results from Ascent++: 1
civil war → IsA → war 0.42