Assertion: venn diagram | /r/HasProperty | formalized in shin
Facets:
Source sentences:
text: arguments could be formalized in a manner similar to the way Venn diagrams have been formalized in Shin 1994.