diff -r feede61efa96 -r 866172a16472 book/src/pattern_example1.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/book/src/pattern_example1.txt	Wed Mar 23 21:10:10 2011 +0100
@@ -0,0 +1,2 @@
+pattern Example1(adep is "OMDB" and 
+		 (tas greater than 200 or "BALUS" in route))