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

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