allenai/tuffy — pull request #6 by ericgribkoff (2014-07-17 22:36:31+00:00)
Title: Write the grounded MLN to a file

Added a "-writeClauses " option to print out the grounded MLN with original predicate names and domain constants, e.g.,

!E_barrons_rule2661_3("Var1") v Example("Var1", "Var1") v !IsaEn("Var1", "Gravity")
IsaEv("Var4", "a force") v !IsaEv("Var4", "the force")
!E_barrons_rule1530_1("Var6") v Example("Var1", "Var6") v !IsaEn("Var1", "Gravity")