added some scripts for reasoning in progOnt() method