phino-0.0.134: resources/morphing/mphi.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
name: mphi
label: \varphi
match: ⟦𝐵1⟧.𝜏1
e-match: 𝑒1
n-result: 𝑛2
when:
  and:
    - in:
        - φ
        - 𝐵1
    - not:
        in:
          - 𝜏1
          - 𝐵1
    - not:
        in:
          - λ
          - 𝐵1
premises:
  - n-result: 𝑛1
    normalize: ⟦𝐵1⟧.φ.𝜏1
  - n-result: 𝑛2
    morph: 𝑛1