diff --git a/code/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.behavior.mps b/code/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.behavior.mps
index b282362b4..8f6235862 100644
--- a/code/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.behavior.mps
+++ b/code/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.behavior.mps
@@ -786,5 +786,125 @@
       <node concept="3clFbS" id="404$BAz31aN" role="2VODD2" />
     </node>
   </node>
+  <node concept="13h7C7" id="404$BAz8LqS">
+    <property role="3GE5qa" value="constraints.relational" />
+    <ref role="13h7C2" to="hqls:404$BAz792M" resolve="LessOrEqualThanOperator" />
+    <node concept="13hLZK" id="404$BAz8LqT" role="13h7CW">
+      <node concept="3clFbS" id="404$BAz8LqU" role="2VODD2" />
+    </node>
+    <node concept="13i0hz" id="404$BAz8Lrc" role="13h7CS">
+      <property role="TrG5h" value="getPresentation" />
+      <ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
+      <node concept="3Tm1VV" id="404$BAz8LrB" role="1B3o_S" />
+      <node concept="3clFbS" id="404$BAz8LrC" role="3clF47">
+        <node concept="3clFbF" id="404$BAz8LHg" role="3cqZAp">
+          <node concept="Xl_RD" id="404$BAz8M4T" role="3clFbG">
+            <property role="Xl_RC" value="&lt;=" />
+          </node>
+        </node>
+      </node>
+      <node concept="17QB3L" id="404$BAz8LrD" role="3clF45" />
+    </node>
+  </node>
+  <node concept="13h7C7" id="404$BAz8OVO">
+    <property role="3GE5qa" value="constraints.relational" />
+    <ref role="13h7C2" to="hqls:404$BAz78Ye" resolve="EqualsOperator" />
+    <node concept="13i0hz" id="404$BAz8OWb" role="13h7CS">
+      <property role="TrG5h" value="getPresentation" />
+      <ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
+      <node concept="3Tm1VV" id="404$BAz8OWc" role="1B3o_S" />
+      <node concept="3clFbS" id="404$BAz8OWd" role="3clF47">
+        <node concept="3clFbF" id="404$BAz8OWe" role="3cqZAp">
+          <node concept="Xl_RD" id="404$BAz8OWf" role="3clFbG">
+            <property role="Xl_RC" value="&lt;" />
+          </node>
+        </node>
+      </node>
+      <node concept="17QB3L" id="404$BAz8OWg" role="3clF45" />
+    </node>
+    <node concept="13hLZK" id="404$BAz8OVP" role="13h7CW">
+      <node concept="3clFbS" id="404$BAz8OVQ" role="2VODD2" />
+    </node>
+  </node>
+  <node concept="13h7C7" id="404$BAz8P1M">
+    <property role="3GE5qa" value="constraints.relational" />
+    <ref role="13h7C2" to="hqls:404$BAz793V" resolve="GreaterOrEqualThanOperator" />
+    <node concept="13i0hz" id="404$BAz8P29" role="13h7CS">
+      <property role="TrG5h" value="getPresentation" />
+      <ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
+      <node concept="3Tm1VV" id="404$BAz8P2a" role="1B3o_S" />
+      <node concept="3clFbS" id="404$BAz8P2b" role="3clF47">
+        <node concept="3clFbF" id="404$BAz8P2c" role="3cqZAp">
+          <node concept="Xl_RD" id="404$BAz8P2d" role="3clFbG">
+            <property role="Xl_RC" value="&gt;=" />
+          </node>
+        </node>
+      </node>
+      <node concept="17QB3L" id="404$BAz8P2e" role="3clF45" />
+    </node>
+    <node concept="13hLZK" id="404$BAz8P1N" role="13h7CW">
+      <node concept="3clFbS" id="404$BAz8P1O" role="2VODD2" />
+    </node>
+  </node>
+  <node concept="13h7C7" id="404$BAz8P4D">
+    <property role="3GE5qa" value="constraints.relational" />
+    <ref role="13h7C2" to="hqls:404$BAz791D" resolve="GreaterThanOperator" />
+    <node concept="13i0hz" id="404$BAz8P50" role="13h7CS">
+      <property role="TrG5h" value="getPresentation" />
+      <ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
+      <node concept="3Tm1VV" id="404$BAz8P51" role="1B3o_S" />
+      <node concept="3clFbS" id="404$BAz8P52" role="3clF47">
+        <node concept="3clFbF" id="404$BAz8P53" role="3cqZAp">
+          <node concept="Xl_RD" id="404$BAz8P54" role="3clFbG">
+            <property role="Xl_RC" value="&gt;" />
+          </node>
+        </node>
+      </node>
+      <node concept="17QB3L" id="404$BAz8P55" role="3clF45" />
+    </node>
+    <node concept="13hLZK" id="404$BAz8P4E" role="13h7CW">
+      <node concept="3clFbS" id="404$BAz8P4F" role="2VODD2" />
+    </node>
+  </node>
+  <node concept="13h7C7" id="404$BAz8P78">
+    <property role="3GE5qa" value="constraints.relational" />
+    <ref role="13h7C2" to="hqls:404$BAz790w" resolve="LessThanOperator" />
+    <node concept="13i0hz" id="404$BAz8P7v" role="13h7CS">
+      <property role="TrG5h" value="getPresentation" />
+      <ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
+      <node concept="3Tm1VV" id="404$BAz8P7w" role="1B3o_S" />
+      <node concept="3clFbS" id="404$BAz8P7x" role="3clF47">
+        <node concept="3clFbF" id="404$BAz8P7y" role="3cqZAp">
+          <node concept="Xl_RD" id="404$BAz8P7z" role="3clFbG">
+            <property role="Xl_RC" value="&lt;" />
+          </node>
+        </node>
+      </node>
+      <node concept="17QB3L" id="404$BAz8P7$" role="3clF45" />
+    </node>
+    <node concept="13hLZK" id="404$BAz8P79" role="13h7CW">
+      <node concept="3clFbS" id="404$BAz8P7a" role="2VODD2" />
+    </node>
+  </node>
+  <node concept="13h7C7" id="404$BAz8Pd6">
+    <property role="3GE5qa" value="constraints.relational" />
+    <ref role="13h7C2" to="hqls:404$BAz78Zn" resolve="NotEqualOperator" />
+    <node concept="13i0hz" id="404$BAz8Pdt" role="13h7CS">
+      <property role="TrG5h" value="getPresentation" />
+      <ref role="13i0hy" to="tpcu:hEwIMiw" resolve="getPresentation" />
+      <node concept="3Tm1VV" id="404$BAz8Pdu" role="1B3o_S" />
+      <node concept="3clFbS" id="404$BAz8Pdv" role="3clF47">
+        <node concept="3clFbF" id="404$BAz8Pdw" role="3cqZAp">
+          <node concept="Xl_RD" id="404$BAz8Pdx" role="3clFbG">
+            <property role="Xl_RC" value="!=" />
+          </node>
+        </node>
+      </node>
+      <node concept="17QB3L" id="404$BAz8Pdy" role="3clF45" />
+    </node>
+    <node concept="13hLZK" id="404$BAz8Pd7" role="13h7CW">
+      <node concept="3clFbS" id="404$BAz8Pd8" role="2VODD2" />
+    </node>
+  </node>
 </model>
 
diff --git a/code/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.structure.mps b/code/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.structure.mps
index 8346a7a9b..900745a7f 100644
--- a/code/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.structure.mps
+++ b/code/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.structure.mps
@@ -36,7 +36,9 @@
         <child id="1071489727083" name="linkDeclaration" index="1TKVEi" />
         <child id="1071489727084" name="propertyDeclaration" index="1TKVEl" />
       </concept>
-      <concept id="1169125989551" name="jetbrains.mps.lang.structure.structure.InterfaceConceptDeclaration" flags="ig" index="PlHQZ" />
+      <concept id="1169125989551" name="jetbrains.mps.lang.structure.structure.InterfaceConceptDeclaration" flags="ig" index="PlHQZ">
+        <child id="1169127546356" name="extends" index="PrDN$" />
+      </concept>
       <concept id="1169127622168" name="jetbrains.mps.lang.structure.structure.InterfaceConceptReference" flags="ig" index="PrWs8">
         <reference id="1169127628841" name="intfc" index="PrY4T" />
       </concept>
@@ -1144,7 +1146,7 @@
       <property role="IQ2ns" value="4612972969459487046" />
       <property role="20lmBu" value="fLJjDmT/aggregation" />
       <property role="20kJfa" value="op" />
-      <ref role="20lvS9" to="ehqg:6NmtaR1YmTj" resolve="BinaryComparisonExpression" />
+      <ref role="20lvS9" node="404$BAz795a" resolve="RelationalOperator" />
     </node>
     <node concept="1TJgyj" id="404$BAz78dQ" role="1TKVEi">
       <property role="IQ2ns" value="4612972969459483510" />
@@ -1189,5 +1191,79 @@
     <property role="3GE5qa" value="interfaces" />
     <property role="TrG5h" value="IConstraint" />
   </node>
+  <node concept="1TIwiD" id="404$BAz791D">
+    <property role="EcuMT" value="4612972969459486825" />
+    <property role="3GE5qa" value="constraints.relational" />
+    <property role="TrG5h" value="GreaterThanOperator" />
+    <property role="34LRSv" value="&gt;" />
+    <property role="R4oN_" value="greater" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="PrWs8" id="404$BAz796n" role="PzmwI">
+      <ref role="PrY4T" node="404$BAz795a" resolve="RelationalOperator" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="404$BAz793V">
+    <property role="EcuMT" value="4612972969459486971" />
+    <property role="3GE5qa" value="constraints.relational" />
+    <property role="TrG5h" value="GreaterOrEqualThanOperator" />
+    <property role="34LRSv" value="&gt;=" />
+    <property role="R4oN_" value="greater or equal" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="PrWs8" id="404$BAz796l" role="PzmwI">
+      <ref role="PrY4T" node="404$BAz795a" resolve="RelationalOperator" />
+    </node>
+  </node>
+  <node concept="PlHQZ" id="404$BAz795a">
+    <property role="EcuMT" value="4612972969459487050" />
+    <property role="3GE5qa" value="constraints.relational" />
+    <property role="TrG5h" value="RelationalOperator" />
+    <node concept="PrWs8" id="46t5MkZuwy_" role="PrDN$">
+      <ref role="PrY4T" node="46t5MkZsy$k" resolve="IOCRAConstraint" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="404$BAz78Zn">
+    <property role="EcuMT" value="4612972969459486679" />
+    <property role="3GE5qa" value="constraints.relational" />
+    <property role="TrG5h" value="NotEqualOperator" />
+    <property role="34LRSv" value="!=" />
+    <property role="R4oN_" value="not equal" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="PrWs8" id="404$BAz796t" role="PzmwI">
+      <ref role="PrY4T" node="404$BAz795a" resolve="RelationalOperator" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="404$BAz790w">
+    <property role="EcuMT" value="4612972969459486752" />
+    <property role="3GE5qa" value="constraints.relational" />
+    <property role="TrG5h" value="LessThanOperator" />
+    <property role="34LRSv" value="&lt;" />
+    <property role="R4oN_" value="less" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="PrWs8" id="404$BAz796r" role="PzmwI">
+      <ref role="PrY4T" node="404$BAz795a" resolve="RelationalOperator" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="404$BAz792M">
+    <property role="EcuMT" value="4612972969459486898" />
+    <property role="3GE5qa" value="constraints.relational" />
+    <property role="TrG5h" value="LessOrEqualThanOperator" />
+    <property role="34LRSv" value="&lt;=" />
+    <property role="R4oN_" value="less or equal" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="PrWs8" id="404$BAz796p" role="PzmwI">
+      <ref role="PrY4T" node="404$BAz795a" resolve="RelationalOperator" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="404$BAz78Ye">
+    <property role="EcuMT" value="4612972969459486606" />
+    <property role="3GE5qa" value="constraints.relational" />
+    <property role="TrG5h" value="EqualsOperator" />
+    <property role="34LRSv" value="=" />
+    <property role="R4oN_" value="equals" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="PrWs8" id="404$BAz796j" role="PzmwI">
+      <ref role="PrY4T" node="404$BAz795a" resolve="RelationalOperator" />
+    </node>
+  </node>
 </model>