MoL-2017-11: Benossi, Lisa (2017) Pretending to work: a closed world reasoning formalisation of pretend play. [Report]