Statt die logischen Operationen im Satz an dessen Teilsätzen zu vollziehen, können wir diesen auch Marken zuordnen und mit ihnen
operieren. Dann ist einem Satzbild ein mit ihm in der kompliziertester Weise zus[ä|a]mmenhängendes ˇMarkenSternbild von zugeordnet.

(
aRb
p
,
cSd
g
,
φe
r
) ((p ⌵ q) . r : ⊃ : q . r ≡ p ⌵ r)