SingleConditionPropositionEvaluation