====== DPND: Dependency Relation ======

**Definition**: The relation ''(e1 DPND e2)'' characterizes the extensional ''e1'' as dependent on the extensional ''e2''. The relation ''DPND'' is not symmetric and not reflexive.