Assertion list
world peace (subgroup of peace ) → HasProperty
Results from Ascent++: 2
world peace → HasProperty → possible 0.59
world peace → HasProperty → impossible 0.16