Making first order linear logic a generating grammar