Definition:Assignment for Formula