Assertion list
macro virus (subgroup of virus ) → IsA
Results from Ascent++: 1
macro virus → IsA → virus 0.72