Oración 1: el laboratorio ha de ser cargado con un modelo que describa la dimensión estática de la cadena a analizar
Oración 2: los elementos que constituyen el metamodelo más y su estado inicial
Conector: es decir,
Relación: entailment
Género: theses