sentences:  It is that function which for any two sets "A,B", "every"("A")("B")= 1 if and only if formula_15.A useful way to write complex functions is the lambda calculus.For example, one can write the meaning of "sleeps" as the following lambda expression, which is a function from an individual "x" to the proposition that "x sleeps".