Describir: Advanced Procedure and Axioms