Assertion: door's host | /r/HasProperty | divided by the probability
Facets:
Source sentences:
text: By definition, the conditional probability of winning by switching given the contestant initially picks door 1 and the host opens door 3 is the probability for the event "car is behind door 2 and host opens door 3" divided by the probability for "host opens door 3".