From DATR to PATR via DUTR - an interface formalism