daf-semantics