The library documents itself · NLP & linguistics

stzTruthChain

16 own methods · 0 forms written with extensions, listed under their method

the source: base/natural/stzTruthChain.ring(opens in a new tab) · All classes · The area reference: NLP & linguistics

Under each method, its extensions (Q CS XT Z ZZ IB W U): bold and ticked, it exists; struck, it does not. The extensions and what they mean

Examples: 0 come from the library's tests; 3 were composed from each method's signature and run for this page, on a fresh object, for example o1 = new stzTruthChain(1). 13 methods have none yet. Examples run on 2026-10-03 20:23 inside the library at commit 0e72e2e2c.

Method

Explanation, as the source carries it

init

(no comment in the source: the name reads as a sentence) initno extension

IsA

(no comment in the source: the name reads as a sentence) is aalso written: IsAnno extension

IsNotA

(no comment in the source: the name reads as a sentence) is not ano extension

AndIsA

(no comment in the source: the name reads as a sentence) and is aalso written: AndIsAnno extension

AndIsNotA

(no comment in the source: the name reads as a sentence) and is not ano extension

OrIsA

(no comment in the source: the name reads as a sentence) or is aalso written: OrIsAnno extension

OrIsNotA

(no comment in the source: the name reads as a sentence) or is not ano extension

Containing

(no comment in the source: the name reads as a sentence) containingno extension

AndContaining

(no comment in the source: the name reads as a sentence) and containingno extension

OrContaining

(no comment in the source: the name reads as a sentence) or containingno extension

AndNotContaining

(no comment in the source: the name reads as a sentence) and not containingno extension

OrNotContaining

(no comment in the source: the name reads as a sentence) or not containingno extension

Holds

Fold the atoms LEFT-TO-RIGHT (the natural reading of a boolean narrative: "a and b or c" = ((a and b) or c)). One pass, no eval of user code -- each atom is a lexicon-resolved descriptor / contains test. Records Why + marks the verdict CERTAIN (deterministic).also written: IsTrue · Verdict

composed example

o1 = new stzTruthChain(1)
? o1.Holds()
#--> 0

composed from the signature, run for this page

no extension

Why

(no comment in the source: the name reads as a sentence) why

composed example

o1 = new stzTruthChain(1)
? o1.Why()
#--> no atoms: nothing to decide

composed from the signature, run for this page

no extension

NumberOfAtoms

(no comment in the source: the name reads as a sentence) number of atoms

composed example

o1 = new stzTruthChain(1)
? o1.NumberOfAtoms()
#--> 0

composed from the signature, run for this page

no extension

Content

(no comment in the source: the name reads as a sentence) contentno extension