PSL does not work very well "out of the box" for STS, mainly because Lukasiewicz's equation for the conjunction is very restrictive.
we use a different interpretation for conjunction that uses averaging, which requires corresponding changes to the optimization problem and the grounding technique.