Assertion: argument | /r/HasProperty | cast in the form of sentences
Facets:
Source sentences:
text: If an argument can be cast in the form of sentences in Symbolic Logic, then it can be tested by the application of accepted proof procedures.