Assertion: miracle | /r/HasProperty | taken place
Facets:
Source sentences:
text: It is a simple consequence of Bayes’s Theorem that, where ‘\(M\)’ is the claim that a miracle has taken place and