Um assistente judiciário deve analisar processos cada qual com exatamente 150 laudas. Um processo é considerado analisado se, e somente se, um técnico tiver lido pelo menos 135 laudas. Em outras palavras, um processo não é considerado analisado se, e somente se: