A Logical Structure for the Construction of Machine Readable Dictionaries