package inferencerule;
import models.terms.Resource;
import utils.Utils;

public class DependencyAxiomTest {
	
	Resource a = new Resource("a", Utils.INT, 1);
	Resource b = new Resource("b", Utils.INT, 1);
	Resource c = new Resource("c", Utils.INT, 1);
	Resource d = new Resource("d", Utils.INT, 1);
	Resource e = new Resource("e", Utils.INT, 1);
	Resource f = new Resource("f", Utils.INT, 2);
	Resource g = new Resource("g", Utils.INT, 2);
	Resource h = new Resource("h", Utils.INT, 2);
	
}