diff options
Diffstat (limited to 'language-web/src/main/js')
-rw-r--r-- | language-web/src/main/js/index.jsx | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/language-web/src/main/js/index.jsx b/language-web/src/main/js/index.jsx index b3277a30..40b02b14 100644 --- a/language-web/src/main/js/index.jsx +++ b/language-web/src/main/js/index.jsx | |||
@@ -25,15 +25,17 @@ enum TaxStatus { | |||
25 | } | 25 | } |
26 | 26 | ||
27 | % A child cannot have any dependents. | 27 | % A child cannot have any dependents. |
28 | error invalidTaxStatus(Person p) <=> | 28 | error invalidTaxStatus(Person p) <-> |
29 | taxStatus(p, child), children(p, _q). | 29 | taxStatus(p, child), children(p, _q). |
30 | 30 | ||
31 | Family('family'). | 31 | unique family. |
32 | members('family', anne). | 32 | Family(family). |
33 | members('family', bob). | 33 | members(family, anne). |
34 | members('family', ciri). | 34 | members(family, bob). |
35 | members(family, ciri). | ||
35 | children(anne, ciri). | 36 | children(anne, ciri). |
36 | ?children(bob, ciri). | 37 | ?children(bob, ciri). |
38 | default children(ciri, *): false. | ||
37 | taxStatus(anne, adult). | 39 | taxStatus(anne, adult). |
38 | age(anne, 35). | 40 | age(anne, 35). |
39 | bobAge: 27. | 41 | bobAge: 27. |