def main(args=None):
global ARGS
global DOCS
DESCRIPTION = textwrap.dedent("""\
The input file sem should contain the parsed sentences. All CCG trees correspond
to the premises, except the last one, which is the hypothesis.
""")
parser = argparse.ArgumentParser(
formatter_class=argparse.RawDescriptionHelpFormatter,
description=DESCRIPTION)
parser.add_argument("sem", help="XML input filename with semantics")
parser.add_argument("--format",
nargs='?',
type=str,
default="drs",
choices=["fol", "drs", "notrue", "drsbox", "tptp"],
help="Output format (default: drs).")
ARGS = parser.parse_args()
if not os.path.exists(ARGS.sem):
print('File does not exist: {0}'.format(ARGS.sem), file=sys.stderr)
parser.print_help(file=sys.stderr)
sys.exit(1)
parser = etree.XMLParser(remove_blank_text=True)
root = etree.parse(ARGS.sem, parser)
DOCS = root.findall('.//document')
doc = DOCS[0]
formulas = get_formulas_from_xml(doc)
if ARGS.format == "drs" or ARGS.format == "drsbox":
results = [convert_to_drs(lexpr(formula)) for formula in formulas]
if ARGS.format == "fol":
results = [
convert_to_drs(lexpr(formula)).fol() for formula in formulas
]
if ARGS.format == "notrue":
results = [remove_true(lexpr(formula)) for formula in formulas]
if ARGS.format == "tptp":
inference = [lexpr(f) for f in formulas]
results = convert_to_tptp_proof(inference)
for formula in results:
formula_str = str(formula)
if ARGS.format == "drsbox":
formula.pretty_print()
print(formula_str)
def convert_to_tptp(expression):
expression = rename_degree_variable(expression)
expression = remove_true(expression)
expression = rename(expression)
tptp_str = convert_tptp(expression)
return tptp_str