phino-0.0.152: test-resources/rewriter-packs/custom/negative-condition.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
input: '[[x -> Q.y]].z'
output: |-
  Φ.z
rules:
  custom:
    - name: negative-condition
      pattern: '[[!B1]].!t1'
      result: 'Q.!t1'
      when:
        not:
          in:
            - '!t1'
            - '!B1'