Portuguese Nationality Question

Hi everybody, I wonder if somebody knows the answer to my question 🙂

I (M30) am British, and my fiancée (F29) is Brazilian (we live in the UK), however she also has a Portuguese passport because her family relocated to Lisbon when she was 11, where they still live today.

When we have kids will they be entitled to a Portuguese passport?

They will be able to get British and Brazilian passports by default, but I’m not sure if they’d be entitled to a Portuguese one because my fiancée only acquired hers through living in Portugal, which she no longer does.

I hope this makes sense, obrigado!