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