1. Formal and semantic adjustment of derived constructions