Assertion list
trio (primary) → HasA
Results from Ascent++: 2
trio → HasA → only one desire 0.34
trio → HasA → ear 0.25