Estoy probando una expresión con dos desigualdades para la condición de una comprensión de la lista. ¿Hay alguna manera de tener asignaciones aquí y no duplicar esa expresión? (El siguiente código no funciona, pero desearía que lo hiciera)

diagnose (Experiencia, Síntomas del paciente) ->

{[CertainDisease||
    {CertainDisease,KnownSymptoms}<-Expertise,
    C=length(PatientSymptoms)-length(PatientSymptoms--KnownSymptoms),
    C>=2,
    C<=5      
 ]}.