Livros — formal semantics