Semantic code project: Difference between revisions

From The Jolly Contrarian
Jump to navigation Jump to search
No edit summary
No edit summary
Line 1: Line 1:
Step 1: Select a standard proposition. These will be coded with a “c-” and you can find a complete list here:
Step 1: '''standard proposition''': Select a standard proposition. These will be coded with a “c-” and you can find a complete list here:
<categorytree mode="pages" namespaces="Template" depth="0">Template propositions</categorytree>
<categorytree mode="pages" namespaces="Template" depth="0">Template propositions</categorytree>
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:
{{subtable|'''Name''': t-[NAME]
'''Content''':
<nowiki>'''Label''': <section begin=label/>{{PAGENAME}}<section end=label/>. <br>
'''What''': <section begin=what/> <section end=what/>. <br>
'''Which''': <section begin=which/> <section end=which/>. <br>
'''Where''': <section begin=where/> <section end=where/>. <noinclude>{{c|Template propositions}}</noinclude></nowiki>}}
Step 2:
==To do==
Devise a proposition labelling taxonomy, that can neatly (and predictably) cover: proposition type, agreement type, location and clause reference

Revision as of 16:04, 2 January 2021

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

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=what/> <section end=what/>. <br> '''Which''': <section begin=which/> <section end=which/>. <br> '''Where''': <section begin=where/> <section end=where/>. <noinclude>{{c|Template propositions}}</noinclude>

Step 2:


To do

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