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: