V:

[Sailor Cat]

V:

 

[Xeribulos]

Try making a DynamicModifier with PLAYER_DISTRICTS and EFFECT_ADJUST_BUILDING_PRODUCTION and use it with a DISTRICT_IS_FRAHANGESTAN requirement.
This general approach always seems to work for me.