The overall procedure to verify if an entailment between two verbs (v t , v h ) holds in a pointwise assertion is: whenever it is possible to apply the agentive nominalization to the hypothesis v h , scan the corpus to detect those expressions in which the agentified hypothesis verb is the subject of a clause governed by the text verb v t .
in this case, the temporal relation is thus inverted with respect to backward-presupposition, since v t precedes v h .