An information retrieval system based on a computer model of legal knowledge