Relation PROPERLY-DEPENDS-ON

The rigid ontological dependence, but excluding the trivial case of self-dependence.
Arity: 2
Subrelation-Of: Different, Rigidly-depends-on