(=> (Linguistic-Expression ?Self) (Exists (?A) (And (Extrinsically-Represented-By ?Self ?A) (Symbolic-String ?A))))