package inference.axioms;
import inference.EquationAxiom;

public class Constantness extends EquationAxiom {

	public Constantness() {
		super("Constantness");
		
	}
	
}