Proposition evaluation class