Assertion list
true peace (subgroup of peace ) → AtLocation
Results from Ascent++: 1
true peace → AtLocation → god 0.16