Assertion list
contested divorce (subgroup of divorce ) → IsA
Results from Ascent++: 1
contested divorce → IsA → divorce 0.45