mas restricciones

Mas restricciones, y traduccion de algunas a lenguaje formal