Reproduced EACL result in this branch for trial set

Author: Pascual Martinez-Gomez

scripts/abduction_tools.py

@@ -81,6 +81,7 @@ def GetConclusionLine(coq_output_lines):
     return None
   return coq_output_lines[line_index_last_conclusion_sep + 1]
 
+# This function was used for EACL 2017.
 def GetPremisesThatMatchConclusionArgs_(premises, conclusion):
   """
   Returns premises where the predicates have at least one argument
@@ -126,6 +127,13 @@ def MakeAxiomsFromPremisesAndConclusion(premises, conclusion):
   axioms = MakeAxiomsFromPreds(premise_preds, conclusion_pred, pred_args)
   return axioms
 
+def parse_coq_line(coq_line):
+  try:
+    tree_args = tree_or_string('(' + coq_line + ')')
+  except ValueError:
+    tree_args = None
+  return tree_args
+
 def get_tree_pred_args(line, is_conclusion=False):
   """
   Given the string representation of a premise, where each premise is:
@@ -137,10 +145,10 @@ def get_tree_pred_args(line, is_conclusion=False):
   """
   tree_args = None
   if not is_conclusion:
-    tree_args = tree_or_string('(' + ' '.join(line.split()[2:]) + ')')
+    tree_args = parse_coq_line(' '.join(line.split()[2:]))
   else:
-    tree_args = tree_or_string('(' + line + ')')
-  if len(tree_args) < 1:
+    tree_args = parse_coq_line(line)
+  if tree_args is None or len(tree_args) < 1:
     return None
   return tree_args[0]
 

scripts/tree_tools.py

@@ -27,6 +27,8 @@ def IsString(variable):
 def get_top(tr):
     """Given a thing that might be a tree or maybe a terminal string, return
     the 'top' of it -- either the node of a tree, or just the string itself."""
+    if tr is None:
+      return None
     return (tr if IsString(tr) else tr.label())
 
 
@@ -37,6 +39,9 @@ def TreeContains(tree, subtree):
   # Subtree is a variable, and matches everything.
   subtree_top = get_top(subtree)
   tree_top = get_top(tree)
+  if tree_top is None or subtree_top is None:
+    return False
+
   if subtree_top.startswith('?x') and not tree_is_inst_nltk:
     # Get type of the variable.
     var_type = '|'.join(subtree_top.split('|')[1:])