Masashi Yoshikawa

Thank you for your prompt reply. I did the installation again following readme, but this time with "git checkout develop" part replaced with "git checkout master". But still have problem...

Yes. I think "^^^^" underlines "Qed."

Hi, I think it is possible to write a code to traverse the output logical form of ccg2lambda and collect predicates and their arguments, but no one has tired that...