diff options
Diffstat (limited to 'subprojects/frontend/src/index.tsx')
-rw-r--r-- | subprojects/frontend/src/index.tsx | 8 |
1 files changed, 0 insertions, 8 deletions
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) <-> | |||
36 | parent(p, q), | 36 | parent(p, q), |
37 | !taxStatus(q, retired). | 37 | !taxStatus(q, retired). |
38 | 38 | ||
39 | rule createChild(may Person p, must Person newPerson): | ||
40 | may children(p, newPerson), | ||
41 | may !equals(newPerson, newPerson) | ||
42 | ==> | ||
43 | new q <: newPerson, | ||
44 | children(p, q), | ||
45 | taxStatus(q, child). | ||
46 | |||
47 | indiv family. | 39 | indiv family. |
48 | Family(family). | 40 | Family(family). |
49 | members(family, anne). | 41 | members(family, anne). |