add abbreviations.scala

Model(F(1),F(2))