-newpath 439 764 moveto
-446 756 lineto
-436 758 lineto
-closepath
-stroke
-end grestore
-
-% paramodulation
-gsave 10 dict begin
-355 1024 90 25 ellipse_path
-stroke
-gsave 10 dict begin
-279 1016 moveto
-(paramodulation)
-[12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
-xshow
-end grestore
-end grestore
-
-% paramodulation -> tactics
-newpath 343 999 moveto
-338 990 333 980 329 970 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 332 969 moveto
-325 961 lineto
-326 972 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 332 969 moveto
-325 961 lineto
-326 972 lineto