Encoding CIC in XML: terms and objects
We have (lambda)terms, objects, sections.
Terms never occur alone (would have no meaning),
but only inside objects ===> markup for terms will be nested inside markup
for objects
Objects are autonomous entities
identified by a name and a Section Path:
object name ---> file name
Section Path ---> directory path