@Override public ContradictionOverBackwardLinkRule create( LinkableBackwardLinkRule tail) { return new ContradictionOverBackwardLinkRule(tail); } };
@Override public ContradictionOverBackwardLinkRule create( LinkableBackwardLinkRule tail) { return new ContradictionOverBackwardLinkRule(tail); } };
@Override public ContradictionOverBackwardLinkRule create( LinkableBackwardLinkRule tail) { return new ContradictionOverBackwardLinkRule(tail); } };