Assertion: logic's role | /r/HasProperty | well-known
Facets:
Source sentences:
text: The role of the Barcan formula is well-known here.