Simple problems require systems that expose simple solutions; forcing complex solutions signals misaligned abstraction level.

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

• Forcing complex solutions to simple problems indicates a language has chosen the wrong abstraction level for its primitives.claim0.868
  General principle illustrated by the dining philosophers comparison.
• When a problem has a simple solution, a useful system will give programmers access to the simple solution; Parlog forces complex solutions to simple problems.claim0.816
  Critique that Parlog's abstraction level is too high and restrictive.
• Developing a simple, precise denotational model of graphical user interfaces enables proving properties of programs and establishing objective comparisons of library abstraction levels.claim0.780
  Authors' core assertion that formal modeling of GUIs provides foundational benefits for language design and program verification.
• The challenge of the Hard Problem is not in explaining it away but in giving an account of phenomenality as the specific kind of structured representation it isclaim0.775
  CIMC's distinctive position distinguishing itself from eliminativist and deflationary responses to the Hard Problem
• Any cognitive glue must solve the same kind of problem that the price system solves in broadly the same way that the price system solves itclaim0.774
  Necessary condition for cognitive glues.
• We want to build systems which can be enhanced and modified in a piecemeal fashion. This is necessary because the requirements for systems inevitably change, sometimes even before they are deployed for the very first time.quote0.773
  Opening statement of the GARDEN OF APPLICATIONS pattern, articulating the core force.
• 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.772
  A summary generalization from the examples about the nature of living processes.
• Abstraction is the key of any modularization; without it, reliability and correctness guarantees vanish.claim0.771
  Fundamental design principle driving Oberon: proper abstraction enables modular structure and maintainability.