An FORMULA example

Jul 30, 2014 at 4:37 PM
Is this a valid FORMULA code, given in the manual p.8?

transform Foo (x: E, y: E) returns b:: Bool)
{
E ::= {0..2}.
Return (TRUE) :- z = %x + %y, z > 10.
}