Translating narrative theories into formal models: a case example · Study