Domain:

aaao:ZE46 Promissory Agreement Event

Range:

aaao:ZE59 Plan

Quantification:

No quantifiers yet.

Subproperty of:

• lrmoo:F28 Expression Creation → lrmoo:R17 created (was created by) → lrmoo:F2 Expression

Scope note:

This property associates an instance of promissory agreement to the plan for a futural event (the realized promise) that it generates and which is promised through it.

Examples:

• The signing of the Treaty of Fort Laramie (ZE46) on April 29, 1868, generated the promise of the recognition of the Black Hills as part of the Great Sioux Reservation (ZE59)
• The promise of Barack Obama (ZE46) generated promise of the closure of Guantanamo Bay (ZE59)

In First Order Logic:

• ZP91(x,y) ⇒ ZE46(x)
• ZP91(x,y) ⇒ ZE59(y)
• ZP91(x,y) ⇒ R17(x,y)