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 {
 }
 
 % A child cannot have any dependents.
-error invalidTaxStatus(Person p) <=>
+error invalidTaxStatus(Person p) <->
   taxStatus(p, child), children(p, _q).
 
-Family('family').
-members('family', anne).
-members('family', bob).
-members('family', ciri).
+unique family.
+Family(family).
+members(family, anne).
+members(family, bob).
+members(family, ciri).
 children(anne, ciri).
 ?children(bob, ciri).
+default children(ciri, *): false.
 taxStatus(anne, adult).
 age(anne, 35).
 bobAge: 27.