diff options
Diffstat (limited to 'subprojects/frontend/src/index.tsx')
-rw-r--r-- | subprojects/frontend/src/index.tsx | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx index 9f413b85..602a68ef 100644 --- a/subprojects/frontend/src/index.tsx +++ b/subprojects/frontend/src/index.tsx | |||
@@ -33,14 +33,16 @@ enum TaxStatus { | |||
33 | pred invalidTaxStatus(Person p) <-> | 33 | pred invalidTaxStatus(Person p) <-> |
34 | taxStatus(p, child), | 34 | taxStatus(p, child), |
35 | children(p, _q) | 35 | children(p, _q) |
36 | ; taxStatus(p, retired), | 36 | ; |
37 | taxStatus(p, retired), | ||
37 | parent(p, q), | 38 | parent(p, q), |
38 | !taxStatus(q, retired). | 39 | !taxStatus(q, retired). |
39 | 40 | ||
40 | rule createChild(may Person p, must Person newPerson): | 41 | rule createChild(may Person p, must Person newPerson): |
41 | may children(p, newPerson), | 42 | may children(p, newPerson), |
42 | may !equals(newPerson, newPerson) | 43 | may !equals(newPerson, newPerson) |
43 | ==> new q <: newPerson, | 44 | ==> |
45 | new q <: newPerson, | ||
44 | children(p, q), | 46 | children(p, q), |
45 | taxStatus(q, child). | 47 | taxStatus(q, child). |
46 | 48 | ||