Definition.    Symbolic-to-atomic conversion (A4).

Let X be a grammar term having a functor f (X1..XN) as a semantic id with arguments X1..XN.  The corresponding atom is an object, which has the weaved grammar term f(Y1,..YN) as its explicit (single) definition, where each Yi points to one or more lower atoms, which are created by using a lower level symbolic-to-atomic transformation for the corresponding Xi.

Lower level symbolic-to-atomic transformations uses the principles of direct translation.