Assertion list
android phone (subgroup of phone ) → IsA
Results from Ascent++: 3
android phone → IsA → the t-mobile heart mini 0.32
android phone → IsA → the samsung beam i8520 0.29
android phone → IsA → phone 0.29