From 21057d81df6fa461d63aa48f976856ab8a93a2b2 Mon Sep 17 00:00:00 2001
From: Maximilian Junker <maximilian.junker@qualicen.de>
Date: Fri, 21 Jun 2019 08:10:23 +0200
Subject: [PATCH] add negation rule

---
 bundles/specmate-model-generation/resources/DE/Rule_DE.spec | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/bundles/specmate-model-generation/resources/DE/Rule_DE.spec b/bundles/specmate-model-generation/resources/DE/Rule_DE.spec
index d6cdd5b0a..583a3bb02 100644
--- a/bundles/specmate-model-generation/resources/DE/Rule_DE.spec
+++ b/bundles/specmate-model-generation/resources/DE/Rule_DE.spec
@@ -214,6 +214,11 @@ def rule Negation_2 {
 	[Head] - OBJA -> [Head_SubA] - DET -> 'kein(en?)?':[Head_SubB] 
 }
 
+def rule Negation_3 {
+	[Head] - ADV -> 'nicht' 
+	[Head] - SUBJ -> [Head_SubB]
+}
+
 def subtrees Variable, Condition
 
 def rule CondVar {