Assertion list
transmission medium (subgroup of medium ) → IsA
Results from Ascent++: 3
transmission medium → IsA → liquid 0.25
transmission medium → IsA → medium 0.25
transmission medium → IsA → oil 0.25