Assertion: order logic | /r/CapableOf | yield a non-zero information measure
Facets:
Source sentences:
text: This itself is a considerable achievement, but although technically astounding, a serious restriction of this approach is that it is only a fragment of the deductions carried out within full first-order logic that yield a non-zero information measure.