construct Deductions construct is for example nation ⇐ (nation is a construct), (is a is inverse of is for example)