Shyster: a pragmatic legal expert system