(People do not usually repeat v r and v l in the same document to avoid redundancy.)
note that P (v r |v l ) should be 1 when entailment v l → v r holds (i.e., v r is observed whenever v l is observed) and we have reliable probability values.