<<< native [ ESymbol Op "\8707" , EIdentifier "x" , ESymbol Op "\8704" , EIdentifier "y" , ESymbol Op "\8704" , EIdentifier "z" , EScaled (9 % 5) (ESymbol Open "(") , EScaled (6 % 5) (ESymbol Open "(") , EIdentifier "F" , ESymbol Open "(" , EIdentifier "x" , ESymbol Pun "," , EIdentifier "y" , ESymbol Close ")" , ESymbol Bin "\8743" , EIdentifier "F" , ESymbol Open "(" , EIdentifier "x" , ESymbol Pun "," , EIdentifier "z" , ESymbol Close ")" , ESymbol Bin "\8743" , ESymbol Open "(" , EIdentifier "y" , ESymbol Rel "\8800" , EIdentifier "z" , ESymbol Close ")" , EScaled (6 % 5) (ESymbol Close ")") , ESymbol Rel "\8594" , ESymbol Op "\172" , EIdentifier "F" , ESymbol Open "(" , EIdentifier "y" , ESymbol Pun "," , EIdentifier "z" , ESymbol Close ")" , EScaled (9 % 5) (ESymbol Close ")") ] >>> mml $$\exists x\forall y\forall z\left(\right(F(x,y)\wedge F(x,z)\wedge (y\ne z))\to \neg F(y,z))$$