First we hypothesize that STS similarity between two sentences can be computed using where T is the term alignments score, P ′ is the penalty for bad term alignments and P ′′ is the penalty for syntactic contradictions led by the alignments.
p ′′ had not been fully implemented and was not used in our STS submissions.