We select the elements that are common in the two definitions (I'=(s→I)∩(t→I)) and we attempt to identify their respective senses from WordNet (sns(I')), comparing each synonym in the WordNet's synonym description with each word from the pivot translations.
we arrive at a certain set of senses from the source-pivot definitions (sns((s→I')) and target-pivot definitions (sns((t→I')).