adding -writeClauses option to print out the grounded MLN with original predicate names and domain constants