only forward direction implication eternalization for now (implication graph is wrong else)
only forward direction implication eternalization for now (implication graph is wrong else)
printedheart/opennars,printedheart/opennars,printedheart/opennars,printedheart/opennars,printedheart/opennars,printedheart/opennars