Assertion list
contested divorce (subgroup of divorce ) → HasPrerequisite

Results from Ascent++: 1
contested divorceHasPrerequisite specific plan 0.41