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
_______________________________________________ Heartlogic-dev mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/heartlogic-dev
