From 4a3cdd67cd1b5c6d407c5702a1c50a19bc17fc20 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Tue, 4 Oct 2022 01:12:01 +0200
Subject: refactor(language): disable rule parsing

Rules have too complex semantics to implement in the first prototype.
---
 subprojects/frontend/src/index.tsx | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'subprojects/frontend/src/index.tsx')

diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx
index 55e0590f..f7fe61b9 100644
--- a/subprojects/frontend/src/index.tsx
+++ b/subprojects/frontend/src/index.tsx
@@ -36,14 +36,6 @@ pred invalidTaxStatus(Person p) <->
     parent(p, q),
     !taxStatus(q, retired).
 
-rule createChild(may Person p, must Person newPerson):
-    may children(p, newPerson),
-    may !equals(newPerson, newPerson)
-==>
-    new q <: newPerson,
-    children(p, q),
-    taxStatus(q, child).
-
 indiv family.
 Family(family).
 members(family, anne).
-- 
cgit v1.2.3-54-g00ecf

