Computational Theory Writing System (Studies in Natural Language Processing)