seeing/1

seeing(- S)*

The current input stream is unified with S.