Re: DIS: proto: broaden annotations

2007-01-11 Thread Ed Murphy
Zefram wrote: Ed Murphy wrote: Expressing the contrary of a given statement is not always trivial, unless you resort to the form "The statement 'foo bar' is false". I think it is sufficiently simple, generally a matter of inserting the word "not". In this case, the statement will generally

Re: DIS: proto: broaden annotations

2007-01-11 Thread Zefram
Ed Murphy wrote: >Expressing the contrary of a given statement is not always trivial, >unless you resort to the form "The statement 'foo bar' is false". I think it is sufficiently simple, generally a matter of inserting the word "not". >require the rule to be annotated with the Statement and Judg

Re: DIS: proto: broaden annotations

2007-01-11 Thread Ed Murphy
Zefram wrote: The Judge of any CFJ, the Statement of which alleges that a Rule should be interpreted in a certain way, which is judged TRUE or FALSE, may, at eir discretion, issue an Order requiring the Rulekeepor to annotate the Rule in question accordingly. If

DIS: proto: broaden annotations

2007-01-11 Thread Zefram
Proto-proposal: --- Amend rule 789 "Orders to Annotate Rules" by replacing the paragraph that begins "The Judge of any CFJ" with: The Judge of any CFJ, the Statement of which alleges that a Rule should be interpreted in a certain way, which is judged TRUE or FALSE, may, at