It seems likely that the simple cases will be most useful in the initial applications of Elephant 2000 and similar languages.

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

• Elephant 2000 programs can perform some kinds of speech acts as genuinely as humans, including genuine promises.claim0.787
  McCarthy's position against Searle: computers can genuinely promise without requiring Searle's conditions (e.g., belief that fulfillment benefits recipient).
• Human use of speech acts involves intelligence. Elephant 2000 is on the borderline of AI, but the article emphasizes the Elephant usages that do not require AI.claim0.777
  Seventh abstract claim.
• 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.772
  Fifth abstract claim.
• Elephant programs themselves can be represented as sentences of logic. Their extensional properties follow from this representation without an intervening theory of programming or anything like Hoare axioms.claim0.764
  Fourth abstract claim.
• Elephant source programs may not need data structures, because they can refer directly to the past.claim0.760
  Third abstract claim.
• In every case, the process is straightforward, simple, and above all free: it allows the reality of the situation, the human needs, human joys, to find expression.claim0.759
  A summary generalization from the examples about the nature of living processes.
• Notably, Claude Opus 4.1 and 4—the most recently released and most capable models of those that we test—perform the best in our experiments, suggesting that introspective capabilities may emerge alongside other improvements to language models.quote0.757
  Key finding about the relationship between capability and introspection.
• The Elephant programmer in verifying his program need not show that the promise will be fulfilled because it was made. It is enough that he show it will be fulfilled.claim0.750
  Rejection of one of Dorschel's conditions for happy performance.