We also propose to handle external obligations in an abstract way.

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

• 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.814
  Trade-off between internal and public obligations.
• Abstract performatives include purely internal actions such as commitments not necessarily expressed in output, but on whose fulfillment the correctness of the program depends.quote0.799
  Definition of abstract performative, a core invention of the paper.
• 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.779
  Claim that obligation types are institution-dependent.
• Programs that engage in commercial transactions assume obligations on behalf of their owners in exchange for obligations assumed by other entities. It may be part of the specifications of an Elephant 2000 programs that these obligations are exchanged as intended, and this too can be expressed by a logical sentence.claim0.777
  Sixth abstract claim.
• What class of sentences to allow as expressing various kinds of commitments?question0.768
  Open problem on the expressiveness of commitment sentences.
• Austin points out that uttering a promise creates an obligation in a public sense. This will be important also for computer programs, since a promise by the program may create an obligation, perhaps legal, on the part of the organization operating the program.claim0.763
  Importation of Austin's idea to programs.
• obligationsconcept0.761
  Legal or social duties incurred through speech acts like promises, important for commercial programs.
• Obligations grounded in respect for autonomy are independent in principle of concern for others' welfare.claim0.752
  Premise for the argument from humanity.