output format changed to produce only denotations.