82,891
edits
Amwelladmin (talk | contribs) (Created page with "{{a|def|}}How about this for a project: Reduce the potential ''logic'' of legal contracts down to set of linguistic expressions or axioms. There are surely only a...") |
Amwelladmin (talk | contribs) No edit summary |
||
Line 11: | Line 11: | ||
Or | Or | ||
<nowiki> {{subject|everyone}} {{commitment|must}} {{action|pay}} {{conjunction|or}} {{action|deliver}} {{object|obligations in Confirm}} {{condition|per Agreement}} | <nowiki> {{subject|everyone}} {{commitment|must}} {{action|pay}} {{conjunction|or}} {{action|deliver}} {{object|obligations in Confirm}} {{condition|per Agreement}} </nowiki> | ||
The point being that “agrees to”, “will”, “shall”, “must”, “is obliged to”, “shall be obligated to”, “shall unconditionally be obligated to” and so on all code back to “{{commitment|must}}”. | The point being that “agrees to”, “will”, “shall”, “must”, “is obliged to”, “shall be obligated to”, “shall unconditionally be obligated to” and so on all code back to “<nowiki>{{commitment|must}}</nowiki>”. | ||
Ideally a lawyer would be able to code from principles. | Ideally a lawyer would be able to code from principles. |