```typst
#semantics-rule((
    above: (array: ((text: $(lambda X . M_1)$), (above: (text: $M_1 diamond.small ...$), below: (text: $beta$)))),
    below: (array: ((text: $(lambda X . M_1) diamond.small ...$), (text: $zeta$))),
))
```
