C.2.8:4.2 - Characteristic and arity

Tech name: U.ExtractableStructuralInformation. Plain name: structure this reader or observer can extract. ESI is an abbreviation after the full name has been introduced.

This is an A.17 U.RelationCharacteristic, with arity three over the ordered tuple:

(expressed episteme E, expressing publication form P, reader or observer O)

Its aspect is the amount of selected structure correctly extractable from E through P by O under stated comparison conditions. The characteristic is a dependent characteristic, not a root U-kind.

E retains its C.2.1 identity. P is the entity expressing that episteme in the applicable E.24.PUB publication-form relation and retains the more specific kind supplied by its form pattern. O is the specified human or computational observer. An estimate about a reader class states the relevant preparation and variation among its members; it does not treat the class as another individual reader.

Where exact notation helps, write ESI_C(E, P, O). C fixes the selected structure, correctness criterion, relevant prior knowledge, usable operations, available assistance and tools, access conditions, budget and any other qualification that changes interpretation. These conditions qualify the characteristic of the tuple; they are not an additional bearer or a universal record kind.

Changing only expression can retain E. Adding, omitting or changing substantive claims can identify another episteme; use C.2.1 and the applicable source-to-target rule for that claim. In an explanation use, E.17.EFP’s first screen distinguishes those branches when the difference matters. A comparison of forms alone holds the expressed claims constant.

The presentation carrier belongs in the access conditions when rendering, resolution, searchability or availability affects extraction. Changing access can change the qualified result while E and P remain the same. Attribute that difference to the changed access conditions. Ordinary references to a page, diagram or file are sufficient when they identify the required account and expression without ambiguity.