Semantic code project

Step 1: standard proposition: Select a standard proposition. These will be coded with a “c-” and you can find a complete list here:

Template propositions

If there isn’t one, create a new one — but note, the name of the game is to have as few “canonical” propositions as possible. The form should be:

Name: t-[NAME] Content: Label: <section begin=label/>{{PAGENAME}}<section end=label/>. <br> What: <section begin={VAR1}/> <section end={VAR1}/>. <br> Which: <section begin={VAR2}/> <section end={VAR2}/>. <br> Where: <section begin={VAR3}/> <section end={VAR3}/>. <noinclude>{{c|Template propositions}}</noinclude>

Note:

• “Label” above is fixed text and will help in correctly taxonomising. Don’t change this.
• Change [NAME] and {VAR1}, {VAR2} and {VAR3} to suit your proposition. Note ALL ARE CASE SENSITIVE. Suggest using only lowercase. Bear in mind the command calling the template also has to be case-correct.

Step 2:

To do

Devise a proposition labelling taxonomy, that can neatly (and predictably) cover: proposition type, agreement type, location and clause reference