A 'workable' example of CCD semantics and data semantics as triples.