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

Before Change

        assert (i % 2 == 1) == (type_item == "->")
        if type_item.startswith("Entity"):
            type_ids.append("e")
        elif type_item.startswith("Prop"):
            type_ids.append("t")
        elif type_item.startswith("Event"):
            type_ids.append("v")

After Change

    assert parameter == "Parameter" and colon == ":"
    // This list contains something like ["Entity", "->", "Prop", "->", "Prop"...]
    type_sig = coq_type_list[3:]
    nltk_type_str = " ".join(type_sig).rstrip(".").replace(
        "->", " ").replace(
        "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)

Instances