Assertion list
htc desire (subgroup of desire ) → IsA
Results from Ascent++: 1
htc desire → IsA → well-crafted android phone 0.16