fix-elements -> terminals
precedence -> premise