The post-reason constraints ensure consistency between the predictions made by the SC and the RC systems.
(1) if there is at least one reason supporting the for stance, the post must be assigned a for label; and (2) a for post must have at least one for reason.