Alexandrian sequence and pattern languages can inform software specification writing.

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

• Pattern Language patterns enable rather than prescribe: they are conditions, not commands.claim0.767
• The surface syntax of natural language don't offer much.claim0.763
  Claim about the limited utility of natural language surface features.
• Linda programming language exemplifies bringing craft principles into computational systems.claim0.760
• A pattern language will work well only to the extent that it embraces a whole — comprising everything needed for a complete building of that type — so that its patterns work together as a coherent systemhypothesis0.757
  Condition for success of an artificial pattern language stated in section 3
• Autoregressive language models cannot converge to single stored patterns beyond their context window from local interactions alone.claim0.757
• Software programs could function as semilattices rather than hierarchical trees.claim0.752
• The inability for autoregressive large language models to maintain states of long-range order resembles tangential speech or derailment in formal thought disorder.claim0.751
  Analogy between LLM incoherence and schizophrenia symptoms
• No special theory of programming is required to prove properties of programs if they are expressed as logical sentences.claim0.750
  Key claim of the Algol 48/50 and Elephant approach.