Title: A knowledge representation formalism for human-oriented computer systems