"The assignment of semantics to CCG tree may have failed. Tree: {0}"\
.format(etree.tostring(ccg_tree, pretty_print=True, encoding = "utf-8")\
.decode("utf-8"))
lambda_expression = ccg_tree.get("sem")
logical_interpretations.append(lambda_expression)
ccg_tokens = ccg_xml.find("tokens")
ccg_tokens_list.append(ccg_tokens)
if arbi_types_requested:
After Change
print(inference_result, file=sys.stdout)
// TODO: make convert_trees_to_mathml work with general trees.
// html_str = convert_trees_to_mathml(ccg_tree_list, ccg_tokens_list, coq_scripts)
ccg_trees = [build_ccg_tree(c) for c in doc.xpath("//ccg")]
// from pudb import set_trace; set_trace()
html_str = convert_trees_to_mathml(
ccg_trees, doc.xpath("//tokens"), coq_scripts)
