Assertion: logic's theorem | /r/CapableOf | look for example
Facets:
Source sentences:
text: For example, when expressed in terms of probabilities rather than uncertainties, Theorem 4 looks as follows: