parsers for some Goal stuff