Add rule 1 as a user-defined rule

objectionary · Feb 8, 2024 · 10cda89 · 10cda89
1 parent c0e5ecc
commit 10cda89
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml b/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml
@@ -1,5 +1,22 @@
 title: "Rule set based on Yegor's draft"
 rules:
+  - name: Rule 1
+    description: 'Initialization of vertex attribute'
+    pattern: |
+      ⟦ !a ↦ ⟦ !B ⟧, !B_rest ⟧
+    result: |
+      ⟦ !a ↦ ⟦ !B, ν ↦ @T(Φ) ⟧, !B_rest ⟧
+    when:
+      - absent_attrs:
+          attrs: ['ν']
+          bindings: ['!B']
+      - not_equal: ['!a', 'ν']
+    tests:
+      - name: Adds vertex attribute
+        input: '⟦ a ↦ ⟦ ⟧ ⟧'
+        output: '⟦ a ↦ ⟦ ν ↦ ⟦ Δ ⤍ 00- ⟧ ⟧ ⟧'
+        matches: true
+
   - name: Rule 3
     description: 'Initialization of parent attribute'
     pattern: |