The rigid ontological dependence, but excluding the trivial case of self-dependence, and in which the depender is external to the dependent.
(=> (Fine-Properly-Depends-On ?A ?B) (Not (Part-Of ?B ?A)))