Add a little example with tptp files