Patterns containing two and three verbs were written in separate files and each entry in the files was split into two or three different segments, so that each segment contained only one verb and predicates referring to its arguments.
an expression such as: was transformed into: One can then define the automaton xpression1, consisting of the union of all first segment expressions, such as x774a, the automaton resign2, conisting of all expressions where resign is the second verb and succeed3.