The top documents tagged [lexical implication rule]