ulation tool. The results show that the model is able to reason