uclnlp / ctp

Conditional Theorem Proving
MIT License
51 stars 17 forks source link

How can I show rules in hoppy-nkb-cli.py? #1

Open davidlvxin opened 3 years ago

davidlvxin commented 3 years ago

It seems that hoppy-nkb-cli.py do not contain the show_rules function. So how can I print rules when I want to run this code on the Kinship dataset?