Así "["Todos los hombres"] "son mortales"" se interepreta como ""x" es un hombre" y "F" es "ser mortal".