From f6a074e2cd461a865d22d311c09ff5da115a37be Mon Sep 17 00:00:00 2001
From: Abdelrahman Abounegm <abounegm.abdelrahman@gmail.com>
Date: Thu, 1 Feb 2024 22:19:04 +0300
Subject: [PATCH 1/2] Implement attribute inequality

---
 eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs
index b5e592702..b4e92e976 100644
--- a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs
+++ b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs
@@ -22,6 +22,7 @@ import Language.EO.Phi.Syntax.Abs
 instance FromJSON Object where parseJSON = fmap fromString . parseJSON
 instance FromJSON Binding where parseJSON = fmap fromString . parseJSON
 instance FromJSON MetaId where parseJSON = fmap MetaId . parseJSON
+instance FromJSON Attribute where parseJSON = fmap fromString . parseJSON
 instance FromJSON RuleAttribute where parseJSON = fmap fromString . parseJSON
 
 instance FromJSON LabelId
@@ -60,6 +61,7 @@ data Condition
   = IsNF {nf :: [MetaId]}
   | PresentAttrs {present_attrs :: AttrsInBindings}
   | AbsentAttrs {absent_attrs :: AttrsInBindings}
+  | AttrNotEqual {not_equal :: (Attribute, Attribute)}
   deriving (Generic, Show)
 instance FromJSON Condition where
   parseJSON = genericParseJSON defaultOptions{sumEncoding = UntaggedValue}
@@ -95,6 +97,7 @@ checkCond _ctx (PresentAttrs (AttrsInBindings attrs bindings)) subst = any (`has
   normalToRuleAttr a = ObjectAttr a
   substitutedAttrs = map (normalToRuleAttr . applySubstAttr subst . ruleToNormalAttr) attrs
 checkCond ctx (AbsentAttrs s) subst = not $ checkCond ctx (PresentAttrs s) subst
+checkCond _ctx (AttrNotEqual (a1, a2)) subst = applySubstAttr subst a1 /= applySubstAttr subst a2
 
 hasAttr :: RuleAttribute -> [Binding] -> Bool
 hasAttr attr = any (isAttr attr)

From b91df80512b7ac931f7d49b953de8078a775a6cf Mon Sep 17 00:00:00 2001
From: Abdelrahman Abounegm <abounegm.abdelrahman@gmail.com>
Date: Thu, 1 Feb 2024 22:19:21 +0300
Subject: [PATCH 2/2] Add Rule 10 with a test

---
 eo-phi-normalizer/test/eo/phi/rules/yegor.yaml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml b/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml
index 9bf924281..2644a7e5f 100644
--- a/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml
+++ b/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml
@@ -93,6 +93,18 @@ rules:
       - nf: ["!n"]
     tests: []
 
+  - name: Rule 10
+    description: ""
+    pattern: ⟦ !t ↦ !b1, !B1 ⟧(!t ↦ !b2, !B2)
+    result: ⊥
+    when:
+      - not_equal: ["!t", "ρ"]
+    tests:
+      - name: ''
+        input: '⟦ t ↦ ⟦ a ↦ ∅ ⟧ ⟧(t ↦ ⟦ b ↦ ∅ ⟧)'
+        output: '⊥'
+        matches: true
+
   - name: Rule 11
     description: ""
     pattern: |