Each primitive carries its own internal structure.
Individuals are unique atomic entities which correspond to real objects in the world.
Times are individuals of distinguished type, representing temporal locations and, similar to times, places are individuals which represent spatial locations. A relation has argument roles which must be occupied by appropriate objects. They are used to refer to arbitrary objects of a given type. Types , on the other hand, form higher-order uniformities for individuating or discriminating other uniformities in the world. A parametric infon is the basic computational unit.