Assertion: inference rule | /r/CapableOf | carry truth
Facets:
value: into truths
type: OTHER
Source sentences:
text: What if we stipulate that the inference rule carries truths into truths?