Language and Knowledge Representation: A Stratified Approach