= Template '''IP''': Assignment of indirect property =

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


== Purpose of the template ==

== Definition ==

=== Signature ===

The following table indicates what the roles (or "arguments"), are, and the requirements on entity types for each.

'''IDt'''
|| ''role names:'' || '''Identified'''          ||  '''Identifier''' || 
|| ''entity types required:'' || Thing  ||  Express String               ||

Note that Thing is an abstract entity type. Enforcing ''this'' is however not the responsibility of the template itself.

=== 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}{Individual}
  [rr]
  !c{37C}{37$^\circ$C}{Property}
  [l]
  !q{normal_temp_Alfred}{Indirect Property}
  (!s{normal_temp_Alfred}{a}{possessor}{37C}{property})
 }
}}}