I'm no expert, but isn't the exemption just what you stated - exempt from having to buy health insurance?

They probably should not have been eligible to get the advanced premium credit.

And if they are Choctaw, why do they have insurance? Aren't they covered by the Indian Health Service?