concrete English of Abstract = {

pattern
  Pred np vp = np ++ vp ;
  ConjS c A  B = A ++ c ++ B ;
  ConjVP c A  B = A ++ c ++ B ;
  ConjNP c A  B = A ++ c ++ B ;
  
  John = "John" ;
  Mary = "Mary" ;
  Bill = "Bill" ;
  Walk = "walks" ;
  Run = "runs" ;
  Swim = "swims" ;

  And = "and" ;
  Or = "or" ;
}
