diff --git a/negativeStructure/TwoNegation.shex b/negativeStructure/TwoNegation.shex
index 5f214b8f..c5188e93 100755
--- a/negativeStructure/TwoNegation.shex
+++ b/negativeStructure/TwoNegation.shex
@@ -3,9 +3,11 @@ PREFIX :       <http://example.org/>
 
 :S (    (NOT @:T)
     AND (NOT @:U) )
+
 :T {
   :a @:S
 }
+
 :U {
   :b .
-} 
+}
diff --git a/negativeStructure/TwoNegation2.shex b/negativeStructure/TwoNegation2.shex
index 39c07867..da0319d6 100755
--- a/negativeStructure/TwoNegation2.shex
+++ b/negativeStructure/TwoNegation2.shex
@@ -3,9 +3,11 @@ PREFIX :       <http://example.org/>
 
 :S (    (NOT @:T)
     AND @:U )
+
 :T {
   :a NOT @:S
 } 
+
 :U {
   :b @:S
-} 
+}
diff --git a/negativeStructure/manifest.jsonld b/negativeStructure/manifest.jsonld
index c933d87a..5d84647d 100644
--- a/negativeStructure/manifest.jsonld
+++ b/negativeStructure/manifest.jsonld
@@ -92,6 +92,9 @@
           "@id": "#Cycle1Negation1",
           "@type": "sht:NegativeStructure",
           "name": "Cycle1Negation1",
+          "trait": [
+            "FailedStratifiedNegation"
+          ],
           "status": "mf:Approved",
           "shex": "Cycle1Negation1.shex",
           "startRow": 6,
@@ -103,6 +106,9 @@
           "@id": "#Cycle1Negation2",
           "@type": "sht:NegativeStructure",
           "name": "Cycle1Negation2",
+          "trait": [
+            "FailedStratifiedNegation"
+          ],
           "status": "mf:Approved",
           "shex": "Cycle1Negation2.shex",
           "startRow": 6,
@@ -114,6 +120,9 @@
           "@id": "#Cycle1Negation3",
           "@type": "sht:NegativeStructure",
           "name": "Cycle1Negation3",
+          "trait": [
+            "FailedStratifiedNegation"
+          ],
           "status": "mf:Approved",
           "shex": "Cycle1Negation3.shex",
           "startRow": 6,
@@ -125,6 +134,9 @@
           "@id": "#TwoNegation",
           "@type": "sht:NegativeStructure",
           "name": "TwoNegation",
+          "trait": [
+            "FailedStratifiedNegation"
+          ],
           "status": "mf:Approved",
           "shex": "TwoNegation.shex",
           "startRow": 7,
@@ -136,6 +148,9 @@
           "@id": "#TwoNegation2",
           "@type": "sht:NegativeStructure",
           "name": "TwoNegation2",
+          "trait": [
+            "FailedStratifiedNegation"
+          ],
           "status": "mf:Proposed",
           "shex": "TwoNegation2.shex",
           "startRow": 7,
@@ -147,6 +162,9 @@
           "@id": "#Cycle2Negation",
           "@type": "sht:NegativeStructure",
           "name": "Cycle2Negation",
+          "trait": [
+            "FailedStratifiedNegation"
+          ],
           "status": "mf:Approved",
           "shex": "Cycle2Negation.shex",
           "startRow": 5,
@@ -158,6 +176,9 @@
           "@id": "#Cycle2Extra",
           "@type": "sht:NegativeStructure",
           "name": "Cycle2Extra",
+          "trait": [
+            "FailedStratifiedNegation"
+          ],
           "status": "mf:Approved",
           "shex": "Cycle2Extra.shex",
           "startRow": 5,
diff --git a/negativeStructure/manifest.ttl b/negativeStructure/manifest.ttl
index 4dc9f849..0051dedb 100755
--- a/negativeStructure/manifest.ttl
+++ b/negativeStructure/manifest.ttl
@@ -96,6 +96,8 @@
 
 <#Cycle1Negation1> a sht:NegativeStructure ;
   mf:name "Cycle1Negation1" ;
+  sht:trait sht:FailedStratifiedNegation ;
+  mf:comment ":S NOT { :a { :b @:S } }" ;
   mf:status mf:Approved ;
   sx:shex <Cycle1Negation1.shex> ;
   mf:startRow 6 ;
@@ -106,6 +108,8 @@
 
 <#Cycle1Negation2> a sht:NegativeStructure ;
   mf:name "Cycle1Negation2" ;
+  sht:trait sht:FailedStratifiedNegation ;
+  mf:comment ":S { :a { :b NOT @:S } }" ;
   mf:status mf:Approved ;
   sx:shex <Cycle1Negation2.shex> ;
   mf:startRow 6 ;
@@ -116,6 +120,8 @@
 
 <#Cycle1Negation3> a sht:NegativeStructure ;
   mf:name "Cycle1Negation3" ;
+  sht:trait sht:FailedStratifiedNegation ;
+  mf:comment ":S { :a NOT { :b @:S } }" ;
   mf:status mf:Approved ;
   sx:shex <Cycle1Negation3.shex> ;
   mf:startRow 6 ;
@@ -126,6 +132,8 @@
 
 <#TwoNegation> a sht:NegativeStructure ;
   mf:name "TwoNegation" ;
+  sht:trait sht:FailedStratifiedNegation ;
+  mf:comment ":S ( (NOT @:T) AND (NOT @:U) ) :T { :a @:S } :U { :b . }" ;
   mf:status mf:Approved ;
   sx:shex <TwoNegation.shex> ;
   mf:startRow 7 ;
@@ -136,6 +144,8 @@
 
 <#TwoNegation2> a sht:NegativeStructure ;
   mf:name "TwoNegation2" ;
+  sht:trait sht:FailedStratifiedNegation ;
+  mf:comment ":S ( (NOT @:T) AND @:U ) :T { :a NOT @:S } :U { :b @:S }" ;
   mf:status mf:Proposed ;
   sx:shex <TwoNegation2.shex> ;
   mf:startRow 7 ;
@@ -146,6 +156,8 @@
 
 <#Cycle2Negation> a sht:NegativeStructure ;
   mf:name "Cycle2Negation" ;
+  sht:trait sht:FailedStratifiedNegation ;
+  mf:comment ":S NOT { :a @:S }" ;
   mf:status mf:Approved ;
   sx:shex <Cycle2Negation.shex> ;
   mf:startRow 5 ;
@@ -156,6 +168,8 @@
 
 <#Cycle2Extra> a sht:NegativeStructure ;
   mf:name "Cycle2Extra" ;
+  sht:trait sht:FailedStratifiedNegation ;
+  mf:comment ":S EXTRA :a { :a @:S }" ;
   mf:status mf:Approved ;
   sx:shex <Cycle2Extra.shex> ;
   mf:startRow 5 ;