Oración 1: xSLT es suficiente para todas las validaciones semánticas propuestas excepto para relaciones inversas, debido a la dificultad para evaluar a través de XPath la correspondencia de elementos entre dos conjuntos dados
Oración 2: el servicio correspondiente en AVAL de estas validaciones asume el proceso de evaluación y el resultado de la validación es reportado al documento XSLT que contiene las demás validaciones semánticas AVAL
Conector: en consecuencia,
Relación: reasoning
Género: theses