Simplify node naming

2 files changed, 8 insertions, 6 deletions

diff --git a/language-web/src/main/css/index.scss b/language-web/src/main/css/index.scss
index 3ed91824..c92588b8 100644
--- a/language-web/src/main/css/index.scss
+++ b/language-web/src/main/css/index.scss
@@ -127,7 +127,7 @@ li.CodeMirror-hint-active {
         font-weight: 700;
 }
 
-.cm-quoted-name, .problem-enum-node {
+.problem-unique-node {
   @extend .cm-atom;
 }
 
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.