The logical basis for coding ontologically dependent characters. (16th July 2017)