L0.SCLValue.expression %expression
L0.HasValueType %valueType
+MOD.sclValue : L0.Template
+ @template %subject %expression %valueType
+ %subject : MOD.SCLValue
+ L0.SCLValue.expression %expression
+ L0.HasValueType %valueType
+
MOD.sclAssertion : L0.Template
@template %type %property %expression %valueType
%type