diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.czarnecki_operational_world_model_for_ads.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.czarnecki_operational_world_model_for_ads.mps index 00e18023..090686bf 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.czarnecki_operational_world_model_for_ads.mps +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.czarnecki_operational_world_model_for_ads.mps @@ -16,10 +16,8 @@ - - - + @@ -671,7 +669,7 @@ - + @@ -705,7 +703,7 @@ - + @@ -721,7 +719,7 @@ - + @@ -798,7 +796,7 @@ - + @@ -827,12 +825,12 @@ - + - + @@ -845,7 +843,7 @@ - + @@ -870,7 +868,7 @@ - + @@ -963,7 +961,7 @@ - + @@ -1032,7 +1030,7 @@ - + @@ -1053,7 +1051,7 @@ - + @@ -1346,7 +1344,7 @@ - + @@ -1359,7 +1357,7 @@ - + @@ -1816,7 +1814,7 @@ - + @@ -1861,7 +1859,7 @@ - + @@ -1894,7 +1892,7 @@ - + @@ -1935,7 +1933,7 @@ - + @@ -1963,7 +1961,7 @@ - + @@ -2016,7 +2014,7 @@ - + @@ -2066,7 +2064,7 @@ - + @@ -2087,7 +2085,7 @@ - + @@ -2108,7 +2106,7 @@ - + @@ -2192,7 +2190,7 @@ - + @@ -2236,7 +2234,7 @@ - + @@ -2389,7 +2387,7 @@ - + @@ -2540,7 +2538,7 @@ - + @@ -2835,7 +2833,7 @@ - + @@ -2851,7 +2849,7 @@ - + @@ -2875,14 +2873,6 @@ - - - - - - - - diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.phil_koopman_odd_paper.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.phil_koopman_odd_paper.mps index a7f8023b..cdc921bc 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.phil_koopman_odd_paper.mps +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_odd.ontologies.phil_koopman_odd_paper.mps @@ -16,10 +16,8 @@ - - - + @@ -72,7 +70,7 @@ - +