|
% Entity types |
|
program('SSI'). |
|
law('PRWORA'). |
|
law('P.L._105-306'). |
|
law('Noncitizen_Benefit_Clarification_and_Other_Technical_Amendments_Act_of_1998'). |
|
law('INA'). |
|
law('NACARA'). |
|
law('HRIFA'). |
|
law('CAA66'). |
|
law('Refugee_Education_Assistance_Act_of_1980'). |
|
alien_category('Qualified_Alien'). |
|
alien_category('Nonqualified_Alien'). |
|
alien_category('LAPR'). |
|
ethnicity('American_Indian'). |
|
ethnicity('Amerasian_Immigrant'). |
|
organization('Federally_Recognized_Indian_Tribe'). |
|
organization('U.S._Armed_Forces'). |
|
status('PRUCOL'). |
|
status('Refugee'). |
|
status('Asylee'). |
|
status('Deportation_Withheld'). |
|
status('Removal_Withheld'). |
|
status('Conditional_Entrant'). |
|
status('Cuban_Haitian_Entrant'). |
|
status('Parolee'). |
|
status('Battered_Alien'). |
|
status('Compact_Of_Free_Association_States_Citizen'). |
|
condition('Blind'). |
|
condition('Disabled'). |
|
time_period('7_Years'). |
|
|
|
% SSI eligibility requirements for aliens |
|
eligibility_requirement('SSI', 'Qualified_Alien'). |
|
eligibility_requirement('SSI', 'Exception_Condition'). |
|
|
|
% PRWORA applicability |
|
applies_to('PRWORA', 'SSI', 'Alien_Applicants'). |
|
applies_to('INA', 'Refugee', 'Section_207'). |
|
applies_to('INA', 'Asylee', 'Section_208'). |
|
applies_to('INA', 'Deportation_Withheld', 'Section_243_h'). |
|
applies_to('INA', 'Removal_Withheld', 'Section_241_b_3'). |
|
applies_to('INA', 'Conditional_Entrant', 'Section_203_a_7'). |
|
applies_to('INA', 'Parolee', 'Section_212_d_5'). |
|
|
|
% General SSI eligibility rule |
|
eligible_for_ssi(Person) :- |
|
(us_citizen(Person); us_national(Person)); |
|
american_indian_exception(Person); |
|
grandfathered_ssi_recipient(Person); |
|
qualified_alien_eligible(Person). |
|
|
|
% American Indian exception |
|
american_indian_exception(Person) :- |
|
(ethnicity(Person, 'American_Indian'), |
|
born_in_canada(Person), |
|
indian_blood_percentage(Person, Percentage), |
|
Percentage >= 50); |
|
member(Person, 'Federally_Recognized_Indian_Tribe'). |
|
|
|
% Grandfathered SSI recipient |
|
grandfathered_ssi_recipient(Person) :- |
|
receiving_ssi_before(Person, date(1979, 1, 1)); |
|
(not_qualified_alien(Person), |
|
receiving_ssi_on(Person, date(1996, 8, 22)), |
|
prucol_status_continues(Person)). |
|
|
|
% Qualified Alien eligibility |
|
qualified_alien_eligible(Person) :- |
|
qualified_alien_status(Person), |
|
(blind_or_disabled_1996(Person); |
|
lawfully_residing_and_receiving_ssi_1996(Person); |
|
has_40_qualifying_quarters(Person); |
|
military_connection(Person); |
|
time_limited_eligibility(Person)). |
|
|
|
% Blind or disabled in 1996 |
|
blind_or_disabled_1996(Person) :- |
|
lawfully_residing(Person, 'U.S.', date(1996, 8, 22)), |
|
(condition(Person, 'Blind'); condition(Person, 'Disabled')). |
|
|
|
% Lawfully residing and receiving SSI in 1996 |
|
lawfully_residing_and_receiving_ssi_1996(Person) :- |
|
lawfully_residing(Person, 'U.S.', date(1996, 8, 22)), |
|
receiving_ssi_on(Person, date(1996, 8, 22)). |
|
|
|
% Military connection |
|
military_connection(Person) :- |
|
(veteran(Person, 'U.S._Armed_Forces'); |
|
active_duty(Person, 'U.S._Armed_Forces'); |
|
spouse_of_veteran_or_active_duty(Person); |
|
dependent_child_of_veteran_or_active_duty(Person)). |
|
|
|
% Time-limited eligibility (7-year rule) |
|
time_limited_eligibility(Person) :- |
|
member(Status, ['Refugee', 'Asylee', 'Deportation_Withheld', 'Removal_Withheld', 'Cuban_Haitian_Entrant', 'Amerasian_Immigrant']), |
|
status_granted_within_7_years(Person, Status). |
|
|
|
% Specific alien category eligibility rules |
|
refugee_eligible(Person) :- |
|
status(Person, 'Refugee'), |
|
(blind_or_disabled_1996(Person); |
|
lawfully_residing_and_receiving_ssi_1996(Person); |
|
military_connection(Person); |
|
status_granted_within_7_years(Person, 'Refugee')). |
|
|
|
asylee_eligible(Person) :- |
|
status(Person, 'Asylee'), |
|
(blind_or_disabled_1996(Person); |
|
lawfully_residing_and_receiving_ssi_1996(Person); |
|
military_connection(Person); |
|
status_granted_within_7_years(Person, 'Asylee')). |
|
|
|
deportation_removal_withheld_eligible(Person) :- |
|
(status(Person, 'Deportation_Withheld'); status(Person, 'Removal_Withheld')), |
|
(blind_or_disabled_1996(Person); |
|
lawfully_residing_and_receiving_ssi_1996(Person); |
|
military_connection(Person); |
|
status_granted_within_7_years(Person, 'Deportation_Withheld'); |
|
status_granted_within_7_years(Person, 'Removal_Withheld')). |
|
|
|
conditional_entrant_eligible(Person) :- |
|
status(Person, 'Conditional_Entrant'), |
|
(blind_or_disabled_1996(Person); |
|
lawfully_residing_and_receiving_ssi_1996(Person); |
|
military_connection(Person)). |
|
|
|
cuban_haitian_entrant_eligible(Person) :- |
|
status(Person, 'Cuban_Haitian_Entrant'), |
|
(blind_or_disabled_1996(Person); |
|
lawfully_residing_and_receiving_ssi_1996(Person); |
|
military_connection(Person); |
|
status_granted_within_7_years(Person, 'Cuban_Haitian_Entrant')). |
|
|
|
parolee_eligible(Person) :- |
|
status(Person, 'Parolee'), |
|
parolee_for_at_least_1_year(Person), |
|
(blind_or_disabled_1996(Person); |
|
lawfully_residing_and_receiving_ssi_1996(Person); |
|
military_connection(Person); |
|
status_granted_within_7_years(Person, 'Cuban_Haitian_Entrant')). |
|
|
|
battered_alien_eligible(Person) :- |
|
status(Person, 'Battered_Alien'), |
|
(blind_or_disabled_1996(Person); |
|
lawfully_residing_and_receiving_ssi_1996(Person); |
|
military_connection(Person)). |
|
|
|
% Compact of Free Association States citizens are ineligible |
|
compact_of_free_association_states_citizen_eligible(Person) :- |
|
status(Person, 'Compact_Of_Free_Association_States_Citizen'), |
|
fail. |
|
|
|
% Loss of eligibility |
|
loses_eligibility(Person, Date) :- |
|
qualified_alien_status(Person), |
|
(loses_7_year_eligibility(Person, Date); |
|
loses_military_connection(Person, Date); |
|
loses_40_quarters(Person, Date)). |
|
|
|
% Helper predicates (to be defined elsewhere) |
|
us_citizen(_). |
|
us_national(_). |
|
ethnicity(_, _). |
|
born_in_canada(_). |
|
indian_blood_percentage(_, _). |
|
member(_, _). |
|
receiving_ssi_before(_, _). |
|
not_qualified_alien(_). |
|
receiving_ssi_on(_, _). |
|
prucol_status_continues(_). |
|
qualified_alien_status(_). |
|
qualified_alien_status(_, _). |
|
lawfully_residing(_, _, _). |
|
blind(_). |
|
disabled(_). |
|
has_40_qualifying_quarters(_). |
|
veteran(_, _). |
|
active_duty(_, _). |
|
spouse_of_veteran_or_active_duty(_). |
|
dependent_child_of_veteran_or_active_duty(_). |
|
status_granted_within_7_years(_, _). |
|
nationality(_, _). |
|
adjusted_status_under(_, _). |
|
loses_7_year_eligibility(_, _). |
|
loses_military_connection(_, _). |
|
loses_40_quarters(_, _). |
|
parolee_for_at_least_1_year(_). |
|
condition(_, _). |
|
status(_, _). |