(Program
{-(Boolean)-}
  (Boolean)
{ (Boolean)
->(Boolean) }
{+(Boolean)+})