The top documents tagged [predicate logicexample]