</chair> <Editor> Christian de Sainte Marie wrote: > > IF ?c is a chicken such that the age of ?c in months is > 8 > AND ?p is a potato such that ?p is owned by ?c; > AND the weight in decigrams of ?p > (age of ?c)/2; > AND today is not Tuesday > AND there is no fox in the hen house > THEN mash ?p > AND increase the grain allowance of ?c by 10% > AND remove the couple (?c, ?p) from the ownership relation. Actually, there should probably be no AND in the RHS. More like: IF ?c is a chicken such that the age of ?c in months is > 8 AND ?p is a potato such that ?p is owned by ?c; AND the weight in decigrams of ?p > (age of ?c)/2; AND today is not Tuesday AND there is no fox in the hen house THEN mash ?p; increase the grain allowance of ?c by 10%; remove the couple (?c, ?p) from the ownership relation. But that's a detail with respect to the difference between this and what is in the last version of the draft :-) Cheers, Christian </Editor> <Chair>Received on Friday, 20 June 2008 08:39:45 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:45 UTC