Assertion list
uncontested divorce (subgroup of divorce ) → HasPrerequisite
Results from Ascent++: 1
uncontested divorce → HasPrerequisite → a court hearing 0.25