diff --git a/data/SSC-01/SSC-01-01/SSC-01-01.cts.txt b/data/SSC-01/SSC-01-01/SSC-01-01.cts.txt
index da53747c5ae2bfab516b359304da103fc7059f5f..66f11b8bcf3618b79475c747a0a28079d83e6816 100644
--- a/data/SSC-01/SSC-01-01/SSC-01-01.cts.txt
+++ b/data/SSC-01/SSC-01-01/SSC-01-01.cts.txt
@@ -122,6 +122,11 @@ STC-22 (x, y) :
           values = { class_id, owl }
           newNet(nodes, type, values)
 
+
+# --------------------------------------------------------
+# STC niveau 3 : extraction des individus
+# --------------------------------------------------------
+
 STC-23 (x, y) :
      :name(x, y) & class(x) & namedEntities(x, y)
      =>   nodes = { x.nodes }
@@ -135,7 +140,7 @@ STC-23 (x, y) :
 
 
 # --------------------------------------------------------
-# STC niveau 3 : extraction de propriétés
+# STC niveau 4 : extraction de propriétés
 # --------------------------------------------------------
 
 STC-31 (x, y) :
@@ -155,7 +160,7 @@ STC-32 (x, y) :
 
 
 # --------------------------------------------------------
-# STC niveau 4 : extraction de relations taxonomiques
+# STC niveau 5 : extraction de relations taxonomiques
 # --------------------------------------------------------
 
 STC-41 (x, y, z) :
@@ -186,14 +191,14 @@ exemple :
 
 
 # --------------------------------------------------------
-# STC niveau 5 : extraction de relations non taxonomiques
+# STC niveau 6 : extraction de relations non taxonomiques
 # --------------------------------------------------------
 
 # --
 
 
 # --------------------------------------------------------
-# STC niveau 6 : extraction d'axiomes complexes
+# STC niveau 7 : extraction d'axiomes complexes
 # --------------------------------------------------------
 
 # --
diff --git a/data/SSC-02/SSC-02-01/SSC-02-01.cts.txt b/data/SSC-02/SSC-02-01/SSC-02-01.cts.txt
index da53747c5ae2bfab516b359304da103fc7059f5f..9f67b5fba7daa6ebd631e861b13422ce6a76aab6 100644
--- a/data/SSC-02/SSC-02-01/SSC-02-01.cts.txt
+++ b/data/SSC-02/SSC-02-01/SSC-02-01.cts.txt
@@ -122,6 +122,11 @@ STC-22 (x, y) :
           values = { class_id, owl }
           newNet(nodes, type, values)
 
+
+# --------------------------------------------------------
+# STC niveau 3 : extraction des individus
+# --------------------------------------------------------
+
 STC-23 (x, y) :
      :name(x, y) & class(x) & namedEntities(x, y)
      =>   nodes = { x.nodes }
@@ -135,7 +140,7 @@ STC-23 (x, y) :
 
 
 # --------------------------------------------------------
-# STC niveau 3 : extraction de propriétés
+# STC niveau 4 : extraction de propriétés
 # --------------------------------------------------------
 
 STC-31 (x, y) :
@@ -155,7 +160,7 @@ STC-32 (x, y) :
 
 
 # --------------------------------------------------------
-# STC niveau 4 : extraction de relations taxonomiques
+# STC niveau 5 : extraction de relations taxonomiques
 # --------------------------------------------------------
 
 STC-41 (x, y, z) :
@@ -186,14 +191,24 @@ exemple :
 
 
 # --------------------------------------------------------
-# STC niveau 5 : extraction de relations non taxonomiques
+# STC niveau 6 : extraction de relations non taxonomiques
 # --------------------------------------------------------
+# question sur rstriction : voir ticket 1
 
-# --
+STC-51 (x, y, z) :
+     :part-of(x, y) & class(x) & individual(z)
+     =>   nodes = { x.nodes }
+          type = class
+          class_id = define-id(z.class_id, y.property_id, x.class_id)
+          owl = string(class_id, ' a ', 'rdfs:Class')
+          owl = string(class_id, ' rdfs:subClassOf ', x.class_id)
+          owl = define-OWL-restriction (class_id, ':part-of', z.class_id)
+          values = { class_id, owl }
+          newNet(nodes, type, values)
 
 
 # --------------------------------------------------------
-# STC niveau 6 : extraction d'axiomes complexes
+# STC niveau 7 : extraction d'axiomes complexes
 # --------------------------------------------------------
 
 # --