An airline reservation program's input-output specification is that it not order the admission of more passengers than the capacity of the flight. It is an external fact that the plane will hold its capacity and not more.

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

• What is an airline reservation?question0.788
  Question posed and then dismissed as the wrong question for program design.
• How should we define an airline reservation for the purposes of an Elephant reservation program?question0.779
  Better question about minimal definition for the program.
• What do we want to say about airline reservations to our program?question0.769
  Question guiding minimal specification.
• Default presentation conflates capacity with accessibility, and most evaluation benchmarks measure only default presentation — systematically misreading models.claim0.744
  Argues current evaluation approaches are fundamentally misleading about model capabilities
• 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.741
  Trade-off between internal and public obligations.
• Proving that a program meets accomplishment specifications must be based on assumptions about the world, the information it makes available to the program and the effects of the program's actions as well as on facts about the program itself.claim0.729
  Claim about the nature of accomplishment verification.
• Elephant programs that interact non-trivially with the outside world can have both input-output specifications, relating the programs inputs and outputs, and accomplishment specifications concerning what the program accomplishes in the world. These concepts are respectively generalizations of the philosophers' illocutionary and perlocutionary speech acts.claim0.725
  Fifth abstract claim.
• Perhaps we will need three levels of specification, internal, input-output and accomplishment.hypothesis0.725
  Speculation about specification hierarchy.