sawine@0: pattern Example1(adep is "OMDB" and 
sawine@0: 		 (tas greater than 200 or "BALUS" in route))