- From: Yosi Scharf <syosi@MIT.EDU>
- Date: Mon, 22 Aug 2005 18:58:12 -0400
- To: Dan Connolly <connolly@w3.org>
- CC: public-cwm-bugs@w3.org, Lalana Kagal <lkagal@csail.mit.edu>
Dan Connolly wrote:
>
> Consider rulerule.n3:
>
> ---
> @keywords is, of, a.
>
> @forAll IF, THEN.
>
> { sky color blue } => { weather state good }.
>
> { { IF => THEN } } => { THEN a Consequent }.
> ---
try to remove some spurious nesting. Try:
{ IF => THEN } => { THEN a Consequent }.
Yosi
>
> {
>
> } log:implies {:THEN a :Consequent .
> } .
Look carefully. There is nothing in the antecentent.
Yosi
Received on Monday, 22 August 2005 22:58:25 UTC