The top documents tagged [adt formallyexampleaxiom]