The LCFRS shown here does not satisfy our normal form requiring each rule to have either two nonterminals on the right-hand side with no terminals in the composition function, or zero nonterminals with a composition function returning fixed strings of terminals.
it can be converted to such a form through a process analogous to converting a CFG to Chomsky Normal Form.