Unit II Semantic aspects of terms