A la hora de considerar las cláusulas, los cuantificadores no se tienen en cuenta, pero no hay que olvidar que todos son universales