How to code short strangle?

How to code short strangle on NF/BNF ?