Assertion list
valid marriage (subgroup of marriage ) → HasProperty

Results from Ascent++: 1
valid marriageHasProperty indissoluble 0.55