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