As in this case, from: Un dragón humea si un viejo dragón es padre de el dragón y el viejo dragón humea. it gets as Prolog clause: humea(A) :- es_padre_de(un_viejo_dragón, el_drag_ón), humea(A). So, the translation (tokenization) is inconsistent.