build propositional example; dot spec for compilation; conditioning now means adding a state to the input state to eval
started propositional classifier example