+L0.sclValue : L0.Template
+ @template %subject %expression %valueType
+ %subject : L0.SCLValue
+ L0.SCLValue.expression %expression
+ L0.HasValueType %valueType
+
+L0.sclAssertion : L0.Template
+ @template %type %property %expression %valueType
+ %type
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate %property
+ L0.HasObject _ : L0.SCLValue
+ L0.SCLValue.expression %expression
+ L0.HasValueType %valueType
+