This sentence states an intention of motion, not the actual action.
our goal is to devise semantic axioms for combinations of two relations, R 1 and R 2 , by observing the semantic connection between the w 1 and w 3 words for which there exists at least one other word, w 2 , such that R 1 (w 1 , w 2 ) and R 2 (w 2 , w 3 ) hold true 3 .