Below, I will discuss a few, fragmentary, ideas that expand the original conception and imbue it with greater expressive power.
Practically, this allows Thinking Notation to acquire predicate-like expressive power. I am unaware of an any other existing alternatives (in the foundations of logic and maths) to Set Theory, Type Theory (which is typically introduced via some background Set Theory), or Predicate Calculus that allow a formal language to accomplish that.
Where two diametrically opposed items are demonstrated to be:
i. A pseudo-conflict - the two items are semantically meaningless (vacuous) or irrelevant.
ii. Demonstrated to be the same item upon further examination.
iii. Are discarded in favor of third item that bears some features of both previous items.
Read: Hegel and Logical Modules.
The | symbol does not specify a contiguous item of thought nor an immediately preceding one. Rather, it can be any preceding item of thought (symbols are bound across transformation regardless).
Here, the axiom rules (which were previously purely mechanical and sequential) become axiom schema with universal substitution.