Assertion list
infected person (subgroup of person ) → IsA
Results from Ascent++: 2
infected person → IsA → tuberculin-negative 0.25
infected person → IsA → left the room 0.16