for( int i=0; i<pis.length; i++ )
out.element( "primitiveSymbol", new String[]{"id",(String)allNames.get(pis[i])} );
for( int i=0; i<fis.length; i++ )
out.element( "namedSymbol", new String[]{"id",(String)allNames.get(fis[i])} );
for( int i=0; i<iis.length; i++ )
out.element( "ignoreSymbol", new String[]{"id",(String)allNames.get(iis[i])} );
{// generate intermediate symbols.