Assertion list
true peace (subgroup of peace ) → IsA
Results from Ascent++: 1
true peace → IsA → the work of justice 0.16