Another way to say "paul is running" is "MiniStory: Paul runs."