Making first order linear logic a generating grammar (Logical Methods in Computer Science, 2023)