(Slot-Value-Type Word Part Morpheme) (=> (Word ?Self) (Exists (?A) (And (Part ?Self ?A) (Morpheme ?A))))