Assertion list
world war (subgroup of war ) → AtLocation
Results from Ascent++: 1
world war → AtLocation → progress 0.21