Update README.md

Author: RomanSoloweow

README.md

@@ -41,80 +41,65 @@ parseResult.Placeholders[0].Offset // Start 5, End 17
 ```
 
 # Grammar
-### Core Expressions
-
-```ebnf
-expression = logical_expr | term
-
-logical_expr =
-    logic_expr
-  | comparison_expr
-  | is_operation
-  | match_operation
-  | in_operation
-  | not_operation
-
-comparison_expr = string_argument ('Equals' | 'Contains' | 'StartsWith' | 'EndsWith') string_argument
-
-logic_expr = logical_expr ('And' | 'Or' | 'NAND' | 'NOR' | 'XOR' | 'XNOR') logical_expr
-
-not_operation = 'Not' logical_term
-
-match_operation = string_argument 'Match' '"' <any valid regex> '"'
-
-in_operation = string_argument 'In' [ '(' ] string_argument { ',' string_argument } [ ')' ]
-
-is_operation = string_argument 'Is' ('Var' | 'Int' | 'Double' | 'DateTime' | 'Guid')
-
-logical_term = '(' expression ')' | term
-```
-
-### Values and Properties
-
 ```ebnf
-string_argument = term | property_operation
-
-property_operation =
+logic_expr =
+    binary_op
+  | not_expr
+  | string_cmp_op
+  | is_op
+  | match_op
+  | in_op
+  | '(' logic_expr ')'
+
+binary_op =
+    logic_expr ('And' | 'Or' | 'NAND' | 'NOR' | 'XOR' | 'XNOR') logic_expr
+
+string_cmp_op =
+    string_expr ('Equals' | 'Contains' | 'StartsWith' | 'EndsWith') string_expr
+
+not_expr = 'Not' logic_expr
+is_op = string_expr 'Is' ('Var' | 'Int' | 'Double' | 'DateTime' | 'Guid')
+match_op = string_expr 'Match' '"' <regex> '"'
+in_op = string_expr 'In' [ '(' ] string_expr { ',' string_expr } [ ')' ]
+
+string_expr =
+    grouped_string
+  | property_access
+  | atomic_token
+
+grouped_string =
+    '(' string_expr ')'
+  | '{' string_expr '}'
+  | '[' string_expr ']'
+
+property_access =
     placeholder '.' (
         'Length'
       | complex_property
-      | input_property [ string_property_chain ]
+      | input_property [ chainable_string_ops ]
     )
-  | placeholder [ string_property_chain ]
+  | placeholder [ chainable_string_ops ]
 
-string_property_chain = { '.' chainable_operation }
+chainable_string_ops = { '.' chainable_operation }
 
 chainable_operation = 'Trim' | 'TrimEnd' | 'TrimStart' | 'ToUpper' | 'ToLower'
-
 input_property = 'Input.' identifier
-
 complex_property = ('Offset' | 'Line' | 'Column') '.' ('Start' | 'End')
-```
-
-### Terms and Tokens
-
-```ebnf
-term =
-    '(' expression ')'
-  | '{' expression '}'
-  | '[' expression ']'
-  | term '+'
-  | token
-
-token = placeholder | string_literal | whitespace | comment
 
+atomic_token = placeholder | string_literal | whitespace | comment
 placeholder = '$' identifier '$'
-
 string_literal = <escaped string>
-
 whitespace = (' ' | '\n' | '\r')+
-
 comment = <single or multiline comment>
-```
 
-### Template Matching
+find_rule = logic_expr
+
+replace_rule =
+    'if' logic_expr 'then' assignment
+  | assignment
+
+assignment = placeholder '=>' string_expr
 
-```ebnf
 template_component = placeholder | string_literal | whitespace
 
 template =
@@ -124,18 +109,6 @@ template =
   | template_component+
 ```
 
-### Rule Definitions
-
-```ebnf
-find_rule = expression
-
-replace_rule =
-    'if' expression 'then' placeholder_should
-  | placeholder_should
-
-placeholder_should = placeholder '=>' string_argument
-```
-
 ## Getting Started📂
 Install from Nuget:
 ```sh