Describir: Advanced procedure and axioms