Ascent++
Search
Assertion list
new phone
(
subgroup
of
phone
)
→ HasA
Results from
Ascent++
:
1
new phone
→
HasA
→
the capability
0.33