Assertion list
happy couple (subgroup of couple ) → HasA

Results from Ascent++: 1
happy coupleHasA high standards 0.59