chore(lang): seralize assertions in short form

Prefer the ! and ? operators instead of : false and : unknown and omit
: true when serializing assertions.

1 files changed, 5 insertions, 5 deletions

diff --git a/language/src/main/java/tools/refinery/language/Problem.xtext b/language/src/main/java/tools/refinery/language/Problem.xtext
index e2723b55..26773047 100644
--- a/language/src/main/java/tools/refinery/language/Problem.xtext
+++ b/language/src/main/java/tools/refinery/language/Problem.xtext
@@ -109,12 +109,12 @@ ConstantArgument:
 
 Assertion:
         default?="default"?
-        (relation=[Relation|QualifiedName]
-        "(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")"
-        ":" value=LogicValue |
-        value=ShortLogicValue?
+        (value=ShortLogicValue?
         relation=[Relation|QualifiedName]
-        "(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")")
+        "(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")"
+        | relation=[Relation|QualifiedName]
+        "(" (arguments+=AssertionArgument ("," arguments+=AssertionArgument)*)? ")"
+        ":" value=LogicValue)
         ".";
 
 AssertionArgument: