Template IPC: Assignment of classified indirect property

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

See also: 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