Assertion list
cohabitation agreement (subgroup of agreement ) → HasProperty
Results from Ascent++: 1
cohabitation agreement → HasProperty → enforceable 0.44