An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic Article in Games (July 2018)