How Authors Benefit from Linear Logic in the Authoring Process of Interactive Storyworld