heartlogic-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Heartlogic-dev] Kwiki wiki page ItemContentAndExperimentalConditions up


From: wiki
Subject: [Heartlogic-dev] Kwiki wiki page ItemContentAndExperimentalConditions updated by AnonymousGnome
Date: Tue, 24 May 2005 03:25:45 UT

Kwiki page ItemContentAndExperimentalConditions edited by AnonymousGnome

--- database/ItemContentAndExperimentalConditions.old   Tue May 24 08:55:45 2005
+++ database/ItemContentAndExperimentalConditions       Tue May 24 08:55:45 2005
@@ -19,11 +19,11 @@
 
 BARE-DEDUCTION
 UNREV
-The city of Vienna, Austria is wet.
+The city of Vienna (in Austria) is wet.
 
 GROUND
 REV
-The city of Vienna, Austria is not wet.
+The city of Vienna (in Austria) is not wet.
 
 GROUND
 UNREV
@@ -39,7 +39,7 @@
 
 RULE
 REV
-If water touches x then x is not wet.
+If water touches an object then that object is not wet.
 
 GROUND
 UNREV
@@ -51,7 +51,7 @@
 
 GROUND
 UNREV
-The river Danube runs through the city of Vienna, Austria.
+The river Danube runs through the city of Vienna (in Austria).
 
 RULE
 UNREV




reply via email to

[Prev in Thread] Current Thread [Next in Thread]