A tool for validating the logical consistency of electronic contracts inplemented at Newcastle Univ. UK