Não consegui encontrar resultados com: "tipo:processo número:888-DGF"
O sistema consegue reconhecer algumas buscas comuns. Por exemplo se pretende procurar por um documento específico na maior parte dos casos basta indicar o tipo de documento (lei, decreto-lei, etc) seguido do respectivo número. Tente não usar abreviaturas, algumas são reconhecidas, como "dl" para "decreto-lei", outras não.
Por exemplo: