One important type of entailment rule specifies entailment between propositional templates, that is, propositions where the arguments are possibly replaced by variables.
for the negative features it seems that the precision of VerbOcean features is very high (though they are sparse), and the precision of WordNet antonyms and co-hyponyms is lower.