{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"GoalSource,"}]}
    GoalSource, GoalStalledOn, HasChanged, NestedNormalizationGoals, NoSolution, QueryInput,
    CanonicalInput, Certainty, FIXPOINT_STEP_LIMIT, Goal, GoalEvaluation, GoalEvaluationKind,
    QueryResult,