Rule verbalization

This PDF contains pseudocode for the default verbalization of PSL rules. It essentially summarizes TalkingRuleOrConstraint.getUnequativeExplanation (and the methods that are in turn called in this method), which is called by TalkingLogicalRuleOrConstraint.getDefaultExplanation and TalkingArithmeticRuleOrConstraint.getDefaultExplanation. The comments on edge cases where the score of the context atom cannot be pushed further in the direction of the pressure (larger than 100 % / lower than 0 %) are added by code in the psl-ragviewer package in FactWindow.setFacts. (This is done separately from the main verbalization methods since a context atom might be influenced by multiple ground rules, in which case it would be redundant to repeat this comment for every single rule.)