Assertion: logic's feature | /r/CapableOf | model formal validity
Facets:
Source sentences:
text: What is more, as Leonhard Euler and John Venn showed, these relations can be represented perspicuously in purely topographical diagrams whose features model formal validity .