modified parse_axiom_file() to treat goal items differently, added comments