{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"goal,"}]}
                            goal,
                        this.structurally_instantiate_normalizes_to_term(
                            goal.predicate.alias,