ocr: 1 2 3 I - poisigs D - Dan A de de - - L 2 3 wh - R e - 41 L 5 te - - true 6 poia true a false LCell Expreseion Cel Exprossion Cell Epprosslon 181 ietiroweso (3) ONrowisd 151 *elronead iNLooles0) Hiilooleed) MHola0y true true tre efse eise olbe iG (5er0) # Ssero) # Cseno) taise taise falee else elss elee issstou d2n ssato-ht (20 asatodi. 041 Figure 9: The Mree-is-sate, predicate) functions for the eight queens problem.