Following that line, an entailment rule 'L → R' should be regarded as correct if in all (or at least most) relevant contexts in which the instantiated template L is inferred from the given text, the instan- If he is arrested, he can immediately seek bail.
for example, when answering the question "Which companies did IBM buy?"