Formal semantics of Natural Language: Two theories about adjectives