(Program
{+(Identifier)+}
{-(Send
  {-(Identifier)-}
  {-(TextElement)-})-}
  (Send
    (Identifier)
    (Identifier))
{+(Identifier)+}
{-(Send
  {-(Identifier)-}
  {-(Integer)-}
  {-(Integer)-})-}
{-(Send
  {-(Identifier)-}
  {-(Integer)-}
  {-(Integer)-})-})