Title: Using Perilog to Explore Decision Making at NASA