Assertion list
digital radio (subgroup of radio ) → IsA
Results from Ascent++: 1
digital radio → IsA → the future 0.16