The line: `indicator(B,'MCAID_Female_Disabled') <= medicaid(B) & disabled(B) & male(B)` needs to be: `indicator(B,'MCAID_Female_Disabled') <= medicaid(B) & disabled(B) & female(B)`