The top documents tagged [atomic propositions]