 This project and notation has an important limitation that should be highlighted: it combines the meaning of the modal would and if…then… into a single connective “\(&gt;\)”. This makes it difficult to adequately represent subjunctive conditionals like: 