Translate LMNtal to RETE