Assertion: argument | /r/HasProperty | based on modal logic
Facets:
Source sentences:
text: He provided an argument based on modal logic; he uses the conception of properties, ultimately concluding with God's existence.