Indeed, logical implications are a special case of conditional probabilities that only take the values 0 and 1, rather than values in [0, 1].
we draw inspiration from manual linguistic efforts to this problem (Greenberg, 1963;Lehmann, 1978), as well as from previous computational methods (Daumé III and Campbell, 2007;Bjerva et al., 2019a).