ReifiedClassicalSituationCalculusProfile and correction of non-reified and reified situation calculus.