text: The use of a [[ KL-ONE style representation ]] for << parsing >> and semantic interpretation was first explored in the PSI-KLONE system -LSB- 2 -RSB- , in which parsing is characterized as an inference process called incremental description refinement .