-b@[a1:and(a,b)]
-ande2:=<ande1(a,b,a1)>ande2"l"(a,b,a1):<ande1(a,b,a1)>b
+%suggestion by Guidi to remove @-typing
+b@[a1:and(a,b)] %original line
+ande2:=<ande1(a,b,a1)>ande2"l"(a,b,a1):<ande1(a,b,a1)>b %original line
+%b@[a1:and(a,[x:a]<x>b)]
+%ande2:=<ande1(a,[x:a]<x>b,a1)>ande2"l"(a,[x:a]<x>b,a1):<ande1(a,[x:a]<x>b,a1)>[x:a]<x>b
+%end of suggestion