Assertion list
total war (subgroup of war ) → IsA
Results from Ascent++: 1
total war → IsA → warfare 0.59