Assertion list
lasting peace (subgroup of peace ) → HasProperty
Results from Ascent++: 1
lasting peace → HasProperty → possible 0.52