Text this: On the characterization of models of H*: The semantical aspect