Definition:Partial Boolean Interpretation