The first sentence is just context and does not have a place in our conditional chain. You are correct that the quantifier ELCI should "some" over to LCI. So replace ELCI --> LCI with ELCI -some-> LCI. Still ac(A) is correct. Nice spot!
Oh, and don't mention that the professor who wrote you to the dean was a first year professor in your addendum though! While that provides context to us, I don't think admissions would like it. Just and FYI.