Template IP: Assignment of indirect property

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

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