Assertion list
fault divorce (subgroup of divorce ) → HasProperty
Results from Ascent++: 2
fault divorce → HasProperty → uncontested 0.24
fault divorce → HasProperty → less expensive 0.09