Assertion list
infected person (subgroup of person ) → HasProperty
Results from Ascent++: 2
infected person → HasProperty → contagious 0.59
infected person → HasProperty → sick 0.48