MRS to THF - Githubissues

arademaker / delphin

The Lean port of PyDelphin, a library to integrate DELPH-IN toolsets

Apache License 2.0

2 stars 2 forks source link

MRS to THF #8

Open MarcusGDaniels opened 3 weeks ago

MarcusGDaniels commented 3 weeks ago

Same pull request as before, but with a change to the top level caller not to use a preprocessed MRS file.

arademaker commented 2 weeks ago

Sorry for the delay on give you feedback on this PR. I finally managed to have the entire Lean, Ace, and Utool interaction working.

Notice that I used the the Format type to pretty-printing the MRS into Prolog. Now I still have to revise the previous instances of MRS to String. Ideas came from this discussion.

I am also aware that your PR also contributed with the application of the Utool response to update the MRS. I will revise that next.