Sentential form
(∃ d : Document)
(∃ r1, r2, ... : Region)
(∃ ts01, ts02, ... : Token_Sequence)
(∃ k00, k01, k02, k03, k04, k05, k06 : Basic_Token)
(∃ s1, s2, ... : Structural_Unit)
(∃ f1, f2, ... : Text_Flow)
(∃ t_a, t_A, t_b, t_B, t_c, ..., t_e, ... t_k, ... t_o, ... t_W, ... t_y, t_z, ... : Basic_Type)
token_type(k00,t_W)
∧ token_type(k01,t_o)
∧ token_type(k02,t_y)
∧ token_type(k03,t_z)
∧ token_type(k04,t_e)
∧ token_type(k05,t_c)
∧ token_type(k06,t_k)
∧ ts_tokens(ts01, 〈 k00, k01, k02, k03, k04, k05, k06 〉 )
∧ token_type(ts01, f1)
// N.B. implies tf_types(f1, "Woyzeck")
// “There are seven tokens in d which fit together in a sequence,
and which spell out the text flow ‘Woyzeck’.”
∧ ordreg_subregions(r1, 〈 ts01 〉 )
∧ osu_children(s1, 〈 f1 〉)
∧ token_type(r1, s1)
∧ su_kind(s1, speaker_attribution)
// “The text flow ‘Wozzeck’ is a speaker attribution”
...
After the Fall
Some documents are indeterminate.
(Cf. Roude, Cayless, Stokes papers.)
The Marburg edition writes Woyzeck.
Franzos transcribed it Wozzeck.