1.2: partial elaboration of terms