% Text
% Alice is a surviving spouse for the year 2017. Alice's taxable income for the year 2017 is $95129.

% Question
% Alice has to pay $22018 in taxes for the year 2017 under section 1(a)(iii). Entailment

% Facts
:- discontiguous s63/3.
:- discontiguous s2_a/3.
:- [statutes/prolog/init].
s2_a(alice,_,2017).
s63(alice,2017,95129).

% Test
:- s1_a_iii(95129,22018).
:- halt.