Assertion list
unmarried couple (subgroup of couple ) → IsA
Results from Ascent++: 1
unmarried couple → IsA → spouse 0.25