• La gramática se basa en la lógica de predicados, y es capaz de expresar complejos predicados construidos con exactitud.