package inference.axioms;
import inference.EquationAxiom;

public class MapComposition extends EquationAxiom {

	public MapComposition() {
		super("Map Composition");
	}

}