Assertion list
electric violin (subgroup of violin ) → IsA
Results from Ascent++: 1
electric violin → IsA → violin 0.68