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 .