phino-0.0.152: test-resources/condition-packs/stop.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
expression: '[[ x -> Q.y ]].y'
pattern: '[[ !B1 ]].!t1'
condition:
  and:
    - not:
        in:
          - '!t1'
          - '𝐵1'
    - not:
        in:
          - 'φ'
          - '𝐵1'
    - not:
        in:
          - 'λ'
          - '𝐵1'