1 files changed, 0 insertions, 51 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/queries/familyTreeConstraintsQual.vql b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/queries/familyTreeConstraintsQual.vql
deleted file mode 100644
index 946451d1..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/queries/familyTreeConstraintsQual.vql
+++ /dev/null
@@ -1,51 +0,0 @@
-package queries
- 
-import "http://www.example.org/familytree"
-
-@Constraint(message="memberIsItsOwnParent", severity="error", key={m})
-pattern memberIsRecursiveParent(m: Member) = {
-        find isParent+(m, m);
-}
-
-pattern isParent(m: Member, p: Member){
-        Member.parents(m, p);   
-}
-
-
-@Constraint(message="memberIsItsOwnParent", severity="error", key={m})
-pattern memberIsItsOwnParent(m: Member) = {
-        FamilyTree.members(_, m);
-        Member.parents(m, p);
-        m == p;
-}
-
-@Constraint(message="twoMembersHaveNoParent", severity="error", key={m1, m2})
-pattern twoMembersHaveNoParent(m1:Member, m2:Member) = {
-        neg find memberHasParent(m1);
-        neg find memberHasParent(m2);
-        m1 != m2;
-}
-
-pattern memberHasParent(m: Member) = {
-        Member.parents(m, _);
-}
-
-@Constraint(message="negativeAge", severity="error",key={m})
-pattern negativeAge(m: Member) {
-        Member.age(m,mage);
-        check(mage<0);
-}
-
-@Constraint(message="parentTooYoung", severity="error", key={c, p})
-pattern parentTooYoung(c: Member, p: Member) = {
-        FamilyTree.members(_, c);
-        Member.parents(c, p);
-        Member.age(c, cAge);
-        Member.age(p, pAge);
-        check (pAge <= (cAge + 12));
-}
-
-
-
-
-