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.
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.