Assertion list
healthy person (subgroup of person ) → ReceivesAction
Results from Ascent++: 2
healthy person → ReceivesAction → infected with salmonella 0.35
healthy person → ReceivesAction → infected 0.16