Linker for Mizar TPTP