Assertion list
new virus (subgroup of virus ) → HasProperty

Results from Ascent++: 2
new virusHasProperty dangerous 0.20
new virusHasProperty transmissible 0.16