A continuación se mostrará la estructura de la proposición con sus significados de cada elementos.

Pj = < Txj, Vj, ATj, RLj, EAj, ACj, Hj >

  • Txj Representa un conjunto de textos.
  • Vj Valores de la proposición.
  • ATj Atributos asociados.
  • RLj Relaciones con otras proposiciones.
  • EAj Elementos asociados.
  • ACj Conjuntos de acciones a ejecutar antes y después de evaluar la proposición.
  • Hj Herencia de propiedades y componentes de otras proposiciones.