“…The MAKETERM instruction, which is parameterized by the symbol being applied, replaces these arguments with the application term. For example, the term [1,2]++ [3,4], which is a narrex, is replaced by 1:([2]++ [3,4]) which is constructed as follows. First, the handles for the terms [3,4] and [2] are pushed on the pre-term stack.…”