66a06524eba0b22d14204baeb2ca6d4c9db7d1d0,scripts/semantic_types.py,,convert_coq_to_nltk_type,#Any#,245

Before Change

        nltk_type_str = type_ids[0]
    else:
        // Create a string like "<e, <t, t>>"
        nltk_type_str = "<" + ", <".join(type_ids[:-1]) \
                      + ", " + type_ids[-1] + ">" * len(type_ids)
    return {surface : read_type(nltk_type_str)}

def read_type(type_string):
    assert isinstance(type_string, string_types)

After Change

        "Entity", "e").replace(
        "Prop", "t").replace(
        "Event", "v")
    if not nltk_type_str.startswith("(") or not nltk_type_str.endswith("("):
        nltk_type_str = "(" + nltk_type_str + ")"
    // Add pre-terminals (necessary for NLTK, if we convert to CNF).
    nltk_type_str = re.sub(r"([evt])", r"(N \1)", nltk_type_str)
    nltk_type_tree = tree_or_string(nltk_type_str)
    nltk_type_tree.chomsky_normal_form(factor="right")
    nltk_type_str = remove_labels_and_unaries(nltk_type_tree).replace(

Instances