Text this: Making first order linear logic a generating grammar