2 files changed, 5 insertions, 7 deletions

diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx
index 0616007a..78e469cd 100644
--- a/subprojects/frontend/src/index.tsx
+++ b/subprojects/frontend/src/index.tsx
@@ -37,7 +37,7 @@ pred invalidTaxStatus(Person p) <->
 rule createChild(p, newPerson):
     may children(p, newPerson),
     may !equals(newPerson, newPerson)
-==> new q: newPerson,
+==> new q <: newPerson,
     children(p, q),
     taxStatus(q, child).
 
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar
index 58c398a3..f3794e27 100644
--- a/subprojects/frontend/src/language/problem.grammar
+++ b/subprojects/frontend/src/language/problem.grammar
@@ -58,10 +58,8 @@ Conjunction { ("," | Literal)+ }
 OrOp { ";" }
 
 Literal {
-  Modality? (
-    NotOp? Modality? Atom ((":" | "=") LogicValue)? |
-    ckw<"count"> "{" Modality? Atom "}" ComparisonOp int
-  )
+  Modality? (NotOp | ckw<"count">)? Modality? Atom
+  ((":=" | "<:") LogicValue | ComparisonOp int)?
 }
 
 Atom { RelationName "+"? ParameterList<Argument> }
@@ -69,7 +67,7 @@ Atom { RelationName "+"? ParameterList<Argument> }
 Consequent { ("," | Action)+ }
 
 Action {
-   ckw<"new"> VariableName (":" VariableName)? |
+   ckw<"new"> VariableName ("<:" VariableName)? |
    ckw<"delete"> VariableName |
    Literal
 }
@@ -146,7 +144,7 @@ sep1<separator, content> { content (separator content)* }
     "\"" (![\\"\n] | "\\" (![\n] | "\n"))* "\""
   }
 
-  ComparisonOp { ">" | ">=" | "<" | "<=" | "=:=" | "=!=" }
+  ComparisonOp { ">" | ">=" | "<" | "<=" | "==" }
 
   NotOp { "!" }