Extract the definition of goal.