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