(=> (Text ?Self) (And (Exists (?A) (And (Part ?Self ?A) (Linguistic-Expression ?A))) (Exists (?B) (And (Strictly-Depends-On ?Self ?B) (Language ?B)))))