Assertion list
infected individual (subgroup of person ) → HasProperty

Results from Ascent++: 1
infected individualHasProperty contagious 0.48