Linker for Mizar TPTP (MML 1382)