Structure of a logical framework