= Template '''IPC''': Assignment of classified indirect property =

This page shows ''work in progress'', and is intended as ''informative only''.

See also: [wiki:TemplateDescriptionIP]

== 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}{Alfred}{Possible Individual}
  [rr]
  !c{37C}{37$^\circ$ C}{Property}
  [l]
  !q{normal_temp_Alfred}{Indirect Property}
  (!s{normal_temp_Alfred}{a}{possessor}{37C}{property})
  [u(.5)]
  !q{classification}{Classification}
  [u(.5)]
  !c{nbtemp}{Normal~Body~Temperature}{Class Of Indirect Property}
  (!s{classification}{normal_temp_Alfred}{classified}{nbtemp}{classifier}
 }
}}}