Bücher — formal semantics