sentences:  The language formula_1 consists of one binary relation formula_2 and one constant formula_3 (Ackermann used a predicate formula_4 instead).We will write formula_5 for formula_6.The intended interpretation of formula_5 is that the object formula_8 is in the class formula_9.