= Template '''IP''': Assignment of indirect property =
This page shows ''work in progress'', and is intended as ''informative only''.

See also: [wiki:TemplateDescriptionIPC]

== 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:''||'''IP_PropertyBearer'''||'''IP_Property'''||
||''entity types required:''||Possible Individual||Property||


=== Normative representation in first-order logic ===
{{{
#!LatexEquation
\begin{align*} 
\tname{IP}( x_1, x_2 ) \equiv \quad &\trole{IP\_PropertyBearer}( x_1 ) \land \trole{IP\_Property}( x_2 ) \land\\
 & \exists y(\etype{IndirectProperty}( y ) \land \eattr{possessor}(y, x_1) \land \eattr{property}( y, x_2)
\end{align*}
}}}
== Examples of expressions that this template should be able to represent ==
== Graph illustrating an example ==
{{{
#!LatexEquation
\TemplateDiagram{
  !c{a}{Alfred}{PossibleIndividual}
  [rr]
  !c{37C}{37.5$^\circ$C}{Property}
  [l]
  !q{normal_temp_Alfred}{Indirect Property}
  (!s{normal_temp_Alfred}{a}{possessor}{37C}{property})
 }
}}}