Probabilistic models of relational implication