Text this: Fundamentos logicos del programa de razonamiento automatico Otter