diff --git a/Application_examples/Turtles_in_the_Desert.mp b/Application_examples/Turtles_in_the_Desert.mp index 4b26ee68050266d0c91f0d35b9cc4fd3902e0812..4ee3aa0468892faab08885cc3b10a1512b5c3e8b 100644 --- a/Application_examples/Turtles_in_the_Desert.mp +++ b/Application_examples/Turtles_in_the_Desert.mp @@ -26,7 +26,8 @@ Don't try to construct a non-Euclidean geometry to There are 13 possible scenarios, and none when all three are telling the truth. - ==================================*/ +==========================================================*/ + SCHEMA Turtles neighbors: { (nobody_before | one_before | two_before ),