Assertion list
htc desire (subgroup of desire ) → HasA
Results from Ascent++: 1
htc desire → HasA → an fm radio 0.31