Propositions to objects, step 1: check primitive proposition