Assertion list
valid marriage (subgroup of marriage ) → CapableOf
Results from Ascent++: 1
valid marriage → CapableOf → never took place 0.25