package uk.ac.ox.cs.pagoda.rules.clauses;

public class DLClause extends Clause {

//    private DLClause(Atom[] headAtoms, Atom[] bodyAtoms) {
//        super(headAtoms, bodyAtoms);
//    }
//
//    public static DLClause create(Atom[] headAtoms, Atom[] bodyAtoms) {
//        return s_interningManager.intern(new DLClause(headAtoms, bodyAtoms));
//    }
}