| ++PhiloSURFical : Propositions related to the conclusion of an argument. Here there is some implicit overlap with the meaning of thesis, which is a view. We have not formalized this relation yet. |
Class(CONCLUSION partial ARGUMENT-PART
restriction(PRODUCED-BY-DEMONSTRATION allValuesFrom(DEMONSTRATION)))