sentences:  Such lambda terms are functions whose domain is what precedes the period, and whose range are the type of thing that follows the period.If "x" is a variable that ranges over elements of formula_4, then the following lambda term denotes the identity function on individuals