v>
                        
                    </div>
                </div>    
            </div>`;

                    $('.hypotheses').append(hyp_html);

                    // draw AST
                    var tree_json_data = parse(hyp['tree_repr'].replace(/\\/g, "\\\\"));
                    d3Tree(tree_json_data, hyp['id']);
                }
                
                $('#btn_parse').prop('disabled', false);
                $('#btn_parse').html('Parse')
            })
        };

        $('