1 files changed, 5 insertions, 1 deletions

diff --git a/language-web/src/main/js/index.tsx b/language-web/src/main/js/index.tsx
index 66ad1f28..1b24eadb 100644
--- a/language-web/src/main/js/index.tsx
+++ b/language-web/src/main/js/index.tsx
@@ -25,7 +25,11 @@ enum TaxStatus {
 
 % A child cannot have any dependents.
 error invalidTaxStatus(Person p) <->
-  taxStatus(p, child), children(p, _q).
+  taxStatus(p, child),
+  children(p, _q)
+; taxStatus(p, retired),
+  parent(p, q),
+  !taxStatus(q, retired).
 
 unique family.
 Family(family).