PT

Reasoners Automatically Enforce Property Characteristics

Section 4.8.6