This is for strings (extrinsic to the 'entities' in this model), which represent a semiotic object, such as a word.
(=> (Symbolic-String ?Self) (Exists (?A) (And (Symbolic-Part ?Self ?A) (Character ?A))))