Assertion: resulting logic | /r/HasProperty | expressive
Facets:
Source sentences:
text: The resulting logic can be axiomatized completely, and is so expressive that it can even capture quantitative probabilistic logics, to which we turn now.