(Program
{ (And
  {-(Send
    {-(Identifier)-})-}
  {-(Send
    {-(Identifier)-})-})
->(Or
  {+(Send
    {+(Identifier)+})+}
  {+(Send
    {+(Identifier)+})+}) })