Title: Infinitive constructions in an operational grammar