PSL and persistent formulas
When translating syntactically persistent formulas, we do not have to use more than one acceptance condition, and the marking of opertors should not be required.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information