Assertion: resulting logic | /r/HasProperty | axiomatized expressive
Facets:
value: completely
type: DEGREE
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.