The top documents tagged [falseassume atoms]