= Template '''IDC''': = This page shows ''work in progress'', and is intended as ''informative only''. See also: [wiki:TemplateDescriptionID] == Purpose of the template == == Definition == === Signature === === Normative representation in first-order logic === == Examples of expressions that this template should be able to represent == == Graph illustrating an example == {{{ #!LatexEquation \TemplateDiagram{ !c{a}{R123}{PossibleIndividual} [rr] !c{alfred}{R234}{ExpressString} ([r] !c{alfred_str}{``Alfred''}{STRING} !l{alfred}{alfred_str}{content}{.5}) [l] !r{id}{ClassOfIdentification} (!s{id}{a}{represented}{alfred}{pattern}) [u(.5)] !r{id-classification}{Classification} [u(.5)] !c{id-classifier}{First name}{ClassOfClassOfIdentification} !s{id-classification}{id-classifier}{hasClassifier}{id}{hasClassified} } }}}