The semantics of DATR