ReifiedClassicalSituationCalculusProfile.pdf new version