Dependent Marking Language