Libros — formal semantics