F SEMANTIC.DTX;1                    	semantic.dtx
F SEMANTIC.INS;1                    	semantic.ins