1993, Historic American Building Survey, Town of Clayburg: Refractories Company Town, National Park Service, page 4:The tax assessor put them in fourteen valuation groups ranging from one two-story brick house and two one-and-a-half-story houses to the largest groups of eighteen two-story houses and twenty-four one-story bungalows.
(logic, propositional logic, model theory) An assignment of truth values to propositional variables, with a corresponding assignment of truth values to all propositional formulas with those variables (obtained through the recursive application of truth-valued functions corresponding to the logical connectives making up those formulas).
(logic, first-order logic, model theory) A structure, and the corresponding assignment of a truth value to each sentence in the language for that structure.
