Assertion list
new phone (subgroup of phone ) → IsA
Results from Ascent++: 3
new phone → IsA → water-resistant 0.49
new phone → IsA → faster 0.24
new phone → IsA → bezel 0.20