What class of sentences to allow as expressing various kinds of commitments?

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

• Commitments are like specifications, but they are to be considered as dynamic, i.e. specific commitments are created as the program runs.claim0.800
  Dynamic nature of commitments.
• commitmentconcept0.780
  An internal obligation to make some sentence true, a key abstraction for Elephant speech acts.
• What are the program's commitments when it is in a given state?question0.773
  Question about dynamically queryable commitments.
• make commitmentmethod0.772
  Internal action to create a commitment object in Elephant.
• We also propose to handle external obligations in an abstract way.claim0.768
  Proposal for type 1/type 2 obligations.
• For some purposes, it will be convenient to settle for specifications in terms of fulfilling internal commitments, and sometimes the public character of promises will have to be taken into account in the specifications.claim0.765
  Trade-off between internal and public obligations.
• type 1 and type 2 obligationsconcept0.765
  Proposed abstract obligation types for specifying programs, e.g., a reservation incurs a type 1 obligation.
• What type 1 and type 2 obligations are, e.g. the legal requirements they impose, how they are to be treated when they conflict with other considerations, and the consequences of their non-fulfillment, is subject to institutional definition.claim0.762
  Claim that obligation types are institution-dependent.