You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@opennlp.apache.org by bg...@apache.org on 2012/03/29 00:19:06 UTC
svn commit: r1306625 [1/4] - in
/opennlp/sandbox/opennlp-similarity/src/test/resources: ./ taxonomies/
Author: bgalitsky
Date: Wed Mar 28 22:19:05 2012
New Revision: 1306625
URL: http://svn.apache.org/viewvc?rev=1306625&view=rev
Log:
resources for OPENNLP-436
Auto Taxonomy Learner for Search Relevance Improvement based on Similarity
Added:
opennlp/sandbox/opennlp-similarity/src/test/resources/
opennlp/sandbox/opennlp-similarity/src/test/resources/OpenNLP_Similarity_component.doc (with props)
opennlp/sandbox/opennlp-similarity/src/test/resources/sentence_parseObject.dat (with props)
opennlp/sandbox/opennlp-similarity/src/test/resources/taxonomies/
opennlp/sandbox/opennlp-similarity/src/test/resources/taxonomies/irs_dom.ari
opennlp/sandbox/opennlp-similarity/src/test/resources/taxonomies/irs_domTaxo.dat (with props)
opennlp/sandbox/opennlp-similarity/src/test/resources/taxonomies/taxo_English.xml
opennlp/sandbox/opennlp-similarity/src/test/resources/taxonomies/taxo_French.xml
opennlp/sandbox/opennlp-similarity/src/test/resources/taxonomies/taxo_Italian.xml
Added: opennlp/sandbox/opennlp-similarity/src/test/resources/OpenNLP_Similarity_component.doc
URL: http://svn.apache.org/viewvc/opennlp/sandbox/opennlp-similarity/src/test/resources/OpenNLP_Similarity_component.doc?rev=1306625&view=auto
==============================================================================
Binary file - no diff available.
Propchange: opennlp/sandbox/opennlp-similarity/src/test/resources/OpenNLP_Similarity_component.doc
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
Added: opennlp/sandbox/opennlp-similarity/src/test/resources/sentence_parseObject.dat
URL: http://svn.apache.org/viewvc/opennlp/sandbox/opennlp-similarity/src/test/resources/sentence_parseObject.dat?rev=1306625&view=auto
==============================================================================
Binary file - no diff available.
Propchange: opennlp/sandbox/opennlp-similarity/src/test/resources/sentence_parseObject.dat
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
Added: opennlp/sandbox/opennlp-similarity/src/test/resources/taxonomies/irs_dom.ari
URL: http://svn.apache.org/viewvc/opennlp/sandbox/opennlp-similarity/src/test/resources/taxonomies/irs_dom.ari?rev=1306625&view=auto
==============================================================================
--- opennlp/sandbox/opennlp-similarity/src/test/resources/taxonomies/irs_dom.ari (added)
+++ opennlp/sandbox/opennlp-similarity/src/test/resources/taxonomies/irs_dom.ari Wed Mar 28 22:19:05 2012
@@ -0,0 +1,1537 @@
+:- visible findall/3.
+:- visible(all).
+:- visible(arity_builtins).
+:- visible( var/1 ).
+:- extrn iassert/1.
+
+:-extrn member/2.
+:-extrn writeln/1.
+:-extrn quicksort/2.
+:-extrn last/2.
+:-extrn args/1.
+:-extrn var_const/2.
+:-extrn intersection/3.
+:-extrn var_var/2.
+:-extrn change_char/4.
+:-extrn pattern/1.
+:-extrn list_insert/4.
+:-extrn string_change_char/4.
+:-extrn clause_list/2.
+
+:- extrn xyear/1.
+:- extrn xarbitrary/1.
+:- extrn interpreter/0.
+
+:-public who_is/2.
+:-extrn do1/1.
+:-extrn do5/1.
+:-extrn do8/1.
+:-extrn do83/1.
+
+%*09100 how can i protect money against creditor
+%*09100 why should i maximize 401k deduction
+f401k_deduction(maximize,_):-do(09100).
+money(protect,_):-do(09100).
+bankruptcy(file(_,_), _):-do(09100).
+bankruptcy(safe, _):-do(09100).
+money(safe, _):-do(09100).
+invest(safe, _):-do(09100).
+money(creditor,_):-do(09100).
+
+%09101* how to convert nondeductible interests to deductible
+convert(non_deductible,_):-do(09101).
+convert(deductible,_):-do(09101).
+loan(fee(_,_),_):-do(09101).
+
+%10100* who can contribute to ira (== % how can i contribute to ira)
+%da
+what_is(ira(_,_), _):-do(10100).
+%da
+ira(contribute,_):-do(10100).
+ira(much,_):-do(10100).
+
+%10101* what happens with my learning credit if my child does not % want to go to college
+ira(college,_):- do(10101).
+ira(child(_,_),_):- do(10101).
+ira(penalize,_):-do(10101).
+credit(learning,_):-do(10101).
+
+%10102* how long can i wait before take distribution from my Roth IRA
+ira(distribution,_):-do(10102).
+
+%11100* how can i avoid tax from charitable action if i hold stock
+stock(donate,_):-do(11100).
+stock(charity,_):-do(11100).
+taks(avoid,_):-do(11100).
+
+%09102* can i deduct loan interest on my camper
+deduct(loan(interest(_,_),_),_,09102):-do(09102).
+ loan(interest(_,_),_):-do(09102).
+deduct(mortgage_interest,_,09102):-do(09102).
+deduct(mortgage(residence,_),_,09102):-do(09102).
+ mortgage(residence,_):-do(09102).
+loan(rv,_):-do(09102).
+loan(camper,_):-do(09102).
+loan(boat,_):-do(09102).
+
+%03100* what is residence
+what_is(residence, _):-do(03100).
+
+%62100* do i need pay marriage penalty in the year of divorce
+taks(divorce(_,_),_):-do(62100).
+earn(spouse, _):-do(62100).
+earn(more,_):-do(62100).
+penalty(marriage,_):-do(62100).
+
+%71100* name tax benefits on cafeteria company
+taks(benefit(_,_), company(cafeteria,_)):-do(71100).
+company(cafeteria,_):-do(71100).
+company(care,_):-do(71100).
+advantage(benefit(_,_),_):-do(71100).
+taks_bracket(28,_):-do(71100).
+taks_bracket(31,_):-do(71100).
+income_taks(decrease,company(cafeteria,_)):-do(71100).
+income_taks(state,company(cafeteria,_)):-do(71100).
+credit(dependent_care,_):-do(71100).
+
+%64100* when should i visit a doctor
+schedule(a,w2):-do(64100).
+expense(medical,_):-do(64100).
+doctor(visit,_):-do(64100).
+company(cafeteria,_):-do(64100).
+
+%09103* what should i do with capital gain to decrease taxes
+%09103* what is tax rate on capital gain
+stock(growth,_):- do(09103).
+capital_gain(long_term,_):-do(09103).
+taks(capital_gain(decrease,_),_):-do(09103).
+invest(cash,_):-do(09103).
+loan(home_equity,_):-do(09103).
+account(margin,_):-do(09103).
+sell(stock(X,_),09103):-var(X), do(09103).
+taks(decrease,_):-do(09103).
+taks_rate(capital_gain(_,_),_):-do(09103).
+
+%07100* what information should i give to auditor
+%07100 what information request to auditor
+information(volunteer,_):-do(07100).
+information(give,_):-do(07100).
+information(auditor(_,_),_):-do(07100).
+request(information(auditor(_,_),_),_):-do(07100).
+auditor(request(_,_),_):-do(07100).
+
+%03101* how to choose a business
+business(start,_):-do(03101).
+business(choose,_):-do(03101).
+taks(partnership,_):-do(03101).
+deduct(money(_,_),_,03101):-do(03101).
+deduct(business(_,_),_,03101):-do(03101).
+
+%Solving Tax Problems
+
+%How to respond to IRS notices
+%How to cancel IRS penalties
+%How to cancel interest
+%What is the statute of limitations on collections
+%How to eliminate liens
+%Spousal tax relief
+%How to stop a wage or bank levy
+%How and when to use the Problems Resolution Office
+%How to be forgiven of tax debt you cannot pay
+%=============================================================
+
+%06100* How to respond to IRS notices
+%06100* when are irs notices wrong
+%06100* how to prevent from paying you do not owe
+notice(respond, _):-do(06100).
+notice(incorrect, _):-do(06100).
+notice(penalty(_,_),_):-do(06100).
+prevent(pay(_,_,_),_):-do(06100).
+proof(notice(incorrect,_),_):-do(06100).
+
+%06101* How to cancel IRS penalties
+penalty(cancel,_):-do(06101).
+notice(penalty(_,_),_):-do(06101).
+
+%06102* How to cancel interest
+interest(cancel,_):-do(06102).
+
+%21101* What is the statute of limitations on collections
+limitations(taks(collection,_),_):-do(21101).
+taks(collection,_):-do(21101).
+collect(long,_):-do(21101).
+extension(file(_,_),_):-do(21101).
+extension(automatic,_):-do(21101).
+
+%05101* How to eliminate liens
+lien(eliminate,_):-do(05101).
+cannot(pay(debt(_,_),_,_),_):-do(05101).
+what_is(lien,_):-do(05101).
+
+%62101* what is about spouse tax relief
+ta(find,_):-do(62101).
+ta(contact,_):-do(62101).
+relief(spouse,_):-do(62101).
+divorce(_,_):-do(62101).
+file(return(X,_),_):- nonvar(X), X=joint, do(62101).
+ return(joint,_):- do(62101).
+
+%05102* How to stop a wage or bank levy
+form(911,X,_):-var(X), do(05102).
+levy(wage(_,_),_):- do(05102).
+levy(bank,_):- do(05102).
+lien(immediately,_):-do(05102).
+debt(forgive,_):-do(05102).
+
+%40100* How and when to use the Taxpayers Advocates Office
+ta(use,_):-do(40100).
+form(911,X,_):-var(X), do(40100).
+dispute(involve,_):-do(40100).
+
+ % forgive tax debt
+%05103 05104* How to be forgiven of tax debt you cannot pay
+%05103 05104* can my tax debt be forgiven
+debt(forgive,_):-do(05103), do(05104).
+cannot(pay(debt(_,_),_,_),_):-do(05103), do(05104).
+cannot(pay(_,_,_),_):-do(05103), do(05104).
+agreement(installment,_):-do(05103), do(05104).
+form(433,X,_):-var(X), do(05103).
+bankruptcy(discharge,_):-do(05103), do(05104).
+offer_in_compromise(_,_):-do(05103), do(05104).
+
+bankruptcy(filing,_):-do(05104).
+
+%06103* how can i be forced to pay taxes i do not owe
+audit(recieve,_):-do(06103).
+audit(notice(_,_),_):-do(06103).
+audit(record(_,_),_):-do(06103).
+right(audit(record(_,_),_),_):-do(06103).
+audit(date,_):-do(06103).
+right(audit(date,_),_):-do(06103).
+force(pay(taks(_,_),_,_),_):-do(06103).
+ pay(taks(owe(_,_),_),_,_):-do(06103).
+taks(owe(_,_),_):-do(06103).
+
+%05105* How to call IRS bluffs
+bluff(_,_):-do(05105).
+deduction(claim,P):-var(P), do(05105).
+deduction(receipt(_,_),_):-do(05105).
+deduction(cancelled_check,_):-do(05105).
+challenge(auditor,_):-do(05105).
+disclose(facts,_):-do(05105).
+
+%07101* how to prove deductions without a receipt
+deduction(receipt(without,_),_):-do(07101).
+receipt(without,_):-do(07101).
+receipt(lost,_):-do(07101).
+record(lost,_):-do(07101).
+contribution(cash,_):-do(07101).
+
+%07102* what IRS forms should you never sign
+form(sign,_,_):-do(07102).
+
+%05106* How to spy on the IRS
+spy(_,_):-do(05106).
+
+%07103* could i conduct audit by mail
+audit(mail,_):-do(07103).
+
+%07104* How to appeal an audit decision
+appeal(audit(decision,_),_):-do(07104).
+ audit(decision,_):-do(07104).
+audit(abusive,_):-do(07104).
+auditor(challenge(_,_),_):-do(07104).
+owe(more,_):-do(07104).
+
+%07105* How to recover the cost of an abusive audit
+audit(abusive,_):-do(07105).
+cost(recover,_):-do(07105).
+
+%30100* When and how to use Tax Court
+court(taks(_,_),_):-do(30100).
+
+%09104* how to double my refund
+%09104 tax over-withhold
+refund(double, _):-do(09104).
+taks(over_withhold,_):-do(09104).
+ira(invest(_,_),_):-do(09104).
+
+%09105* How to use affidavits to pay less tax
+%09105* How to use explanation letter
+pay(taks(less,_),_,_):-do(09105).
+taks(less, _):-do(09105).
+taks(lesser,_):-do(09105).
+taks(decrease,_):-do(09105).
+affidavit(_,_):-do(09105).
+letter(explanation,_):-do(09105).
+
+%09106* how can i double property tax deduction
+deduction(property_taks(double,_),_):-do(09106).
+deduction(double,_):-do(09106).
+
+%09107* what deduction can i use if i pay estimated income tax
+deduction(income_taks(estimate,_),_):-do(09107).
+ income_taks(estimate,_):-do(09107).
+%%taks(increase, state, income):- do(09107). %%%%%%???? Inna-3 args
+
+%72100* is there a limit on deduction of non cash charitable contribution
+limit(deduction(charity_contribution(non_cash,_),_),_):-do(72100).
+deduction(charity_contribution(non_cash,_),_):-do(72100).
+deduction(charity,_):-do(72100).
+charuty_contribution(non_cash,_):-do(72100).
+
+%07106* how to defend your business against an audit
+business(defend, _):-do(07106).
+business(protect,_):-do(07106).
+business(penalize,_):-do(07106).
+business(contractor(_,_),_):-do(07106).
+business(subcontractor,_):-do(07106).
+audit(against,_):-do(07106).
+
+%03102* When to use independent contractors
+contractor(use,_):-do(03102).
+contractor(tools,_):-do(03102).
+contractor(independent,_):-do(03102).
+requirement(time,_):-do(03102).
+requirement(place,_):-do(03102).
+work(exclusively,_):-do(03102).
+work(part_time,_):-do(03102).
+
+%09108* how to turn your hobby into a business
+business(hobby(_,_),_):-do(09108).
+hobby(recategorize,_):-do(09108).
+business(categorize,_):-do(09108).
+business(profit,_):-do(09108).
+business(plan,_):-do(09108).
+hobby(profit,_):-do(09108).
+
+%07107* How to audit-proof a tax return
+return(audit_proof,_):-do(07107).
+information(relevant,_):-do(07107).
+charity_contribution(_,_):-do(07107).
+business(milage,_):-do(07107).
+cost(entertainment,_):-do(07107).
+expense(medical,_):-do(07107).
+form(8275,X,_):-var(X), do(07107).
+file(disclosure,_):-do(07107).
+
+%21100* How to get an extension of time to pay taxes
+form(2688,X,_):-var(X), do(21100).
+form(4868,X,_):-var(X), do(21100).
+form(1127,X,_):-var(X), do(21100).
+extension(return(_,_),_):-do(21100).
+return(on_time,_):-do(21100).
+pay(later,_,_):-do(21100).
+extension(automatic,_):-do(21100).
+extension(pay(taks(_,_),_,_),_):-do(21100).
+ pay(taks(_,_),_,_).
+need(time,_,21100):-do(21100).
+hardship(undue,_):-do(21100).
+
+%02100 I just completed my return and find that I owe the IRS money. What should I do?
+%02100* what should i do if i owe money to irs
+owe(money(_,_),_):-do(02100).
+complete(just,_):-do(02100).
+file(april15,_):-do(02100).
+interest(decrease,_):-do(02100).
+
+%12100* Can I ask to make installment payments on the amount I owe?
+pay(monthly,_,_):-do(12100).
+pay(owe(installment,_),_,_):-do(12100).
+ owe(installment,_):-do(12100).
+agreement(installment,_):-do(12100).
+cost(alternative,_):-do(12100).
+
+%12101 What kind of penalties and interest will I be
+% charged for paying and filing my taxes late?
+%12101* what kind of penalties will i be charged for paying my taxes late
+interest(charge,_):-do(12101).
+penalty(charge,_):-do(12101).
+pay(on_time,_,_):-do(12101).
+pay(delay,_,_):-do(12101).
+return(delay,_):-do(12101).
+file(on_time,_):-do(12101).
+taks(owe(_,_),_):-do(12101).
+
+%12102* Can my refund be used to pay other debts?
+refund(use,_):-do(12102).
+pay(debt(other,_),_,_):-do(12102).
+debt(other,_):-do(12102).
+debt(past_due,_):-do(12102).
+owe(child_support,_):-do(12102).
+
+%12103* I am unable to pay my delinquent taxes. Will the IRS accept an Offer in Compromise?
+offer_in_compromise(pay(taks(delinquent,_),_,_),_):-do(12103).
+pay(unable,_,_):-do(12103).
+pay(taks(delinquent,_),_,_):-do(12103).
+offer_in_compromise(accept,_):-do(12103).
+
+%04100* how to use computer tax return
+form(1040,X,_):-var(X), do(04100).
+return(paper,_):-do(04100).
+return(electronic,_):-do(04100).
+file(return(X,_),_):-nonvar(X), X=electronic, do(04100).
+file(electronic,_):-do(04100).
+irs(approve,_):-do(04100).
+
+%04101* why to file a return electronically
+file(safe,_):-do(04101).
+file(fast,_):-do(04101).
+file(return(X,_),_):-nonvar(X), X=electronic, do(04101).
+file(electronic,_):-do(04101).
+
+%04102* what forms can i file on computer
+form(download,_,_):-do(04102).
+form(electronic,_,_):-do(04102).
+
+%40101* How to Choose a Tax Preparer.
+irs(recommend,_):-do(40101).
+preparer(recommend,_):-do(40101).
+preparer(select,_):-do(40101).
+preparer(choose,_):-do(40101).
+
+%04103* when can i use telefile
+telefile(_,_):-do(04103).
+file(return(X,_),_):-nonvar(X), X=tele, do(04103).
+return(tele,_):-do(04103).
+file(tele,_):-do(04103).
+
+%61100* What are capital gains and capital losses
+%61100 how about my taxes if i own my property more than...
+what_is(capital_gain(long_term,_),_):-do(61100).
+what_is(capital_gain(_,_),_):-do(61100).
+what_is(capital_loss(long_term,_),_):-do(61100).
+what_is(capital_loss(_,_),_):-do(61100).
+%% short_term
+trade(long_term,_):-do(61100).
+trade(short_term,_):-do(61100).
+capital_loss(determine,_):-do(61100).
+capital_gain(determine,_):-do(61100).
+capital_gain(decrease,_):-do(61100).
+property(more,_):-do(61100).
+property(less,_):-do(61100).
+sell(property(_,_),_):-do(61100).
+property(base,_):-do(61100).
+property(estimate,_):-do(61100).
+
+%30101* How to request an appeal of a specific collection action
+what_is(request(appeal(_,_),_),_):-do(30101).
+request(appeal(collection,_),_):-do(30101).
+appeal(collection,_):-do(30101).
+form(9423,X,_):-var(X), do(30101).
+publication(1660,_):-do(30101).
+right(appeal(_,_),_):-do(30101).
+
+%73100* How to claim dependents on your tax return
+deduction(dependent(_,_),_):-do(73100).
+dependent(claim,_):-do(73100).
+dependent(test(_,_,_),_):-do(73100).
+deduction(allow, _):-do(73100).
+test(citizenship, _,73100):-do(73100).
+test(relationship, _,73100):-do(73100).
+return(joint,_):-do(73100).
+test(gross_income(_,_), _,73100):-do(73100).
+test(support, _,73100):-do(73100).
+
+%50100* What is Earned Income Credit
+%50100 What is the Earned Income Tax Credit (EITC)?
+what_is(taks_credit(_,_),_):-do(50100).
+earned_income(tax_credit(_,_,_,_),_):-do(50100).
+taks(owe(_,_),_):-do(50100).
+taks(decrease,_):-do(50100).
+money(back,_):-do(50100).
+tax_credit(rule,_,_,50100):-do(50100).
+
+%50101* Who can claim the tax credit?
+right(tax_credit(_,_,_,_),_):-do(50101).
+tax_credit(claim,_,_,50101):-do(50101).
+%61106* what is SSN
+%61107* what is ITIN
+what_is(ssn,_):-do(61106).
+what_is(itin,_):-do(61107).
+
+%61101* Who is a qualifying child?
+child(qualifying,_):- do(61101).
+what_is(child(qualifying,_),_):- do(61101).
+
+%61102* What is Earned Income?
+what_is(earned_income(X,_),_):- var(X), do(61102), !.
+
+%61103* What is taxable Earned Income?
+%taxable_earned_income(_,_):-var(X), do(61103).
+what_is(taxable_earned_income(_,_),_):-do(61103), !.
+
+%61104* What is nontaxable Earned Income?
+what_is(earned_income(nontaxable,_),_):-do(61104), !.
+ earned_income(nontaxable,_):-do(61104).
+
+%61105* What is Modified AGI?
+agi(modified,_):- do(61105).
+what_is(agi(modified,_),_):- do(61105), !.
+
+%50102* How do I figure my tax credit?
+tax_credit(calculate,_,how(calculate,_),50102):-do(50102).
+
+%51100* What is the Advance Earned Income Tax Credit (Advance EITC)?
+what_is(advance_tax_credit(_,_),_):-do(51100), !.
+
+%51101* Why should I be interested in the Advance EITC?
+advance_tax_credit(recieve,_):-do(51101).
+advance_tax_credit(_,_):-do(51101).
+right(advance_tax_credit(_,_),_):-do(51101).
+
+%51102* How do I get Advance EITC payments?
+pay(advance_tax_credit(X,_),_,_):-var(X), do(51102).
+
+%51103* Could my Advance EITC payments change? %%%%-----
+pay(advance_tax_credit(change,_),_,_):- do(51103).
+ advance_tax_credit(change,_):- do(51103).
+refund(advance_tax_credit(_,_),_):- do(51103).
+form(w5,X,_):- var(X), do(51103).
+
+%51104* If I get Advance EITC do I have to file a tax return?
+need(return(advance_tax_credit(_,_),_),_,51104):-do(51104).
+need(file(return(P,_),_),_,51104):-
+ P=..[X|_], X=advance_tax_credit, do(51104).
+return(advance_tax_credit(_,_),_):-do(51104).
+file(return(P,_),_):- nonvar(P), P=..[X|_], X=advance_tax_credit, do(51104).
+file(return(advance_tax_credit(_,_),_),_):-do(51104).
+
+%Employee Compensation
+
+compensation(_,employee(_,_)):-
+ do(60100),do(60101),do(74100),do(74101),do(77102),do(74103),do(75100),
+ do(63100),do(80119),do(77100),do(77101),do(77102),do(77103),do(77104),
+ do(77105),do(77106),do(77107),do(77108).
+
+%60100* what should i do if i receive advance commissions
+commission(advance,employee(_,_)):-do(60100).
+
+%60101...* How can employee deduct income ==
+%74102... how can i deduct income if i am employee
+taxable_income(commission(_,_),employee(_,_)):- do(60100), do(60101).
+taxable_earned_income(commission(_,_),employee(_,_)):-var(X),do(60100), do(60101).
+refund(advance_tax_credit(_,_),employee(_,_)):- do(60101).
+refund(commission(unearned,_),employee(_,_)):- do(60101).
+deduct(income,employee(_,_),60101):-do(60101).
+form(1040,X,_):-var(X), do(60101).
+
+%74100 74101* are awards for employee taxable
+gross_income(award,employee(_,_)):-do(74100).
+taxable_income(award,employee(_,_)):- do(74100), do(74101).
+form(w2,X,employee(_,_)):- var(X), do(74100), do(74101).
+
+%74102* are awards included into taxable income for employee
+deduct(income,employee(_,_),74102):-do(74102).
+taxable_income(award,employee(_,_)):- do(74102).
+taxable_income(exclude,employee(_,_)):- do(74102).
+
+%74103* are gifts included into taxable income for employee
+deduct(income,employee(_,_),74103):-do(74103).
+taxable_income(gift,employee(_,_)):- do(74103).
+
+%75100* should i include meals provided by my employer in taxable income
+deduct(income,employee(_,_),75100):-do(75100).
+taxable_income(meal,employee(_,_)):- do(75100).
+taxable_income(lodging,employee(_,_)):- do(75100).
+
+%63100* are expenses for interview included into taxable income
+deduct(income,employee(_,_),63100):-do(63100).
+taxable_income(expense(interview,_),employee(_,_)):- do(63100).
+form(1040,X,employee(_,_)):-var(X), do(63100).
+
+%80119* If i receive property for my services, should i include its value in gross income
+taxable_income(property(_,_),employee(_,_)):- do(80119).
+gross_income(property(_,_),employee(_,_)):- do(80119).
+
+%77100* Are severance payments taxable
+taxable_income(severance_pay,employee(_,_)):- do(77100).
+taxable_income(lump_sum(cancel,_),employee(_,_)):- do(77100).
+lump_sum(cancel,_):- do(77100).
+
+%77101* i receive lump sum payment for accrued annual leave. should this
+% amount be included in taxable income
+deduct(income,employee(_,_),77101):-do(77101).
+taxable_income(lump_sum(leave,_),employee(_,_)):- do(77101).
+lump_sum(leave,_):- do(77101).
+form(w2,X,employee(_,_)):- var(X), do(77101).
+
+%77102 sick benefits under the Railroad Unemployment Insurance Act
+deduct(income,employee(_,_),77102):-do(77102).
+taxable_income(benefit(sick,_),employee(railroad,_)):- do(77102).
+benefit(sick,_):- do(77102).
+taxable_income(pay(sick,_,_),employee(railroad,_)):- do(77102).
+ pay(sick,_,_):- do(77102).
+employee(railroad,_):- do(77102).
+
+%77103* Are sick benefits taxable
+deduct(income,employee(_,_),77103):-do(77103).
+taxable_income(benefit(sick,_),employee(_,_)):- do(77103).
+benefit(sick,_):- do(77103).
+taxable_income(pay(sick,_,_),employee(_,_)):- do(77103).
+ pay(sick,_,_):- do(77103).
+
+%77104* Are unemployment benefits taxable
+deduct(income,employee(_,_),77104):-do(77104).
+taxable_income(benefit(unemployment,_),employee(_,_)):- do(77104).
+benefit(unemployment,_):- do(77104).
+publication(525,_):-do(77104).
+
+%77105* Are medicare tax included in taxable income
+taxable_income(taks(social_security,_),_):- do(77105).
+ taks(social_security,_):- do(77105).
+taxable_income(taks(medicare,_),_):- do(77105).
+ taks(medicare,_):- do(77105).
+
+%77106* Are amounts withheld from my wage taxable
+taxable_income(wage(withheld,_),employee(_,_)):- do(77106).
+wage(withheld,_):- do(77106).
+form(w2,X,employee(_,_)):-var(X), do(77106).
+
+%77107* Are union benefits taxable
+deduct(income,employee(_,_),77107):-do(77107).
+taxable_income(benefit(union,_),employee(_,_)):- do(77107).
+benefit(union,_):- do(77107).
+form(1040,X,employee(_,_)):-var(X), do(77107).
+
+%77108* Should i include payments for child care in taxable income
+taxable_income(pay(child_care,_,_),_):- do(77108).
+ pay(child_care,_,_):- do(77108).
+form(w2,X,employee(_,_)):-var(X), do(77108).
+form(1040,X,_):-var(X), do(77108).
+
+%02101 03103 61108 02102 02103* when i have to file a tax return
+need(file(return(_,_),_),_,02101):- do(02101), do(03103), do(61108).
+ file(return(X,_),_):- var(X), do(02101), do(03103), do(61108).
+requirement(file(return(_,_),_),_):-do(02101), do(03103), do(61108).
+
+%03103* what is filing status
+what_is(filing_status(_,_),_):-do(03103), !.
+filing_status(test(_,_,_),_):-do(02101), do(03103).
+filing_status(more,_):-do(03103).
+test(single,_,03103):-do(03103).
+test(head_of_household,_,03103):-do(03103).
+test(marriage,_,03103):-do(03103).
+test(widow,_,03103):-do(03103).
+
+%61108* what is gross income
+what_is(gross_income(_,_),_):-do(61108), !.
+gross_income(less,_):-do(61108).
+limit(gross_income(_,_),_):-do(61108).
+limit(require,_):-do(61108).
+
+%02102* should i file tax return If i am not Resident Alien,
+need(return(nonresident,_),_,02102):-do(02102).
+need(file(return(nonresident,_),_),_,02102):-do(02102).
+file(return(nonresident,_),_):- do(02102).
+return(nonresident,_):-do(02102).
+publication(519,_):-do(02102).
+
+%02103* when should i file tax return
+need(return(P,_),_,02103):-var(P), do(02103).
+need(file(return(P,_),_),_,02103):-var(P), do(02103).
+file(return(P,_),_):- var(P), do(02103).
+
+%30102* in what cases do i have right to appeal
+challenge(audit(_,_),_):-do(30102).
+challenge(collect(_,_),_):-do(30102).
+challenge(collection,_):-do(30102).
+right(appeal(_,_),_):-do(30102).
+
+%30103* how can i appeal in connection with a bankruptcy case?
+%30103* what should i do if i have a dispute with the IRS in connection
+% with a bankruptcy case?
+challenge(bankruptcy(_,_),_):-do(30103).
+dispute(bankruptcy(_,_),_):-do(30103).
+appeal(bankruptcy(_,_),_):-do(30103).
+
+%30104* what should i do if i disagree with the findings of an irs agent in
+% examination report
+challenge(examination(_,_),_):-do(30104).
+appeal(examination(_,_),_):-do(30104).
+publication(5,_):-do(30104).
+
+%30105* can i appeal irs actions to collect tax
+appeal(collection,_):-do(30105).
+appeal(collect(_,_),_):-do(30105).
+
+%06104* how irs resolve dispute questions
+dispute(resolve,_):-do(06104).
+audit(before,_):-do(06104).
+examination(before,_):-do(06104).
+revenue_procedure(9615,_):-do(06104).
+revenue_procedure(969,_):-do(06104).
+what_is(statement_of_value,_):-do(06104).
+examination(form(1040,_,_),_):-do(06104).
+
+%77109* Are child support payments taxable
+taxable_income(pay(child_support,_,_),_):- do(77109).
+pay(child_support,_,_):- do(77109).
+
+%77100* Are grants to help victims of natural disasters taxable
+taxable_income(pay(disaster(X,_),_,_),_):- var(X), do(77110).
+pay(disaster(X,_),_,_):- var(X), do(77110).
+disaster(act,_):-do(77110).
+
+%77111* are disaster unemployment assistence payments taxable
+taxable_income(pay(disaster(X,_),_,_),_):- nonvar(X), X=unemployment, do(77111).
+pay(disaster(unemployment,_),_,_):-do(77111).
+ disaster(unemployment,_).
+
+%77112* must i include gambling winnings as taxable income
+taxable_income(winning(_,_),_):- do(77112).
+winning(gamble,_):- do(77112).
+deduct(gambling_loss,_,77112):-do(77112).
+form(1040,a,_):-do(77112).
+taxable_income(lottery,_):- do(77112).
+winning(cash,_):- do(77112).
+winning(noncash,_):- do(77112).
+form(w2,g,_):-do(77112).
+
+%61109* What is fair market value
+what_is(fair_market_value,_):-do(61109).
+
+%77113* Is income from hobby taxable
+taxable_income(hobby(_,_),_):- do(77113).
+hobby(income,_):-do(77113).
+form(1040,a,_):-do(77113).
+deduct(expense(hobby,_),_,77113):-do(77113).
+deduction(expense(hobby,_),_):-do(77113).
+expense(hobby(_,_),_):-do(77113).
+
+%77114 if i sell stamps from my collection do i need to include the gain
+% to taxable income ---!!!!! is the gain on sale stamps from collection taxable
+%77114* what should i do if i sell stamps from my collection
+sell_hobby(hobby(_,_)).
+sell_hobby(stamp).
+sell_hobby(coin).
+sell_hobby(collection).
+taxable_income(hobby(_,_),_):- do(77114).
+taxable_income(sell(P,_),_):- sell_hobby(P), do(77114).
+gain(sell(P,_),_,77114):- sell_hobby(P),do(77114).
+loss(sell(P,_),_,77114):- sell_hobby(P),do(77114).
+capital_gain(hobby(_,_),_):-do(77114).
+capital_gain(sell(P,_),_):-sell_hobby(P),do(77114).
+sell(hobby(_,_),_):- do(77114).
+sell(stamp,_):- do(77114).
+sell(coin,_):- do(77114).
+sell(collection,_):- do(77114).
+cannot(deduct(loss(net,_,_),_,_),_):-do(77114).
+deduct(loss(net,_,_),_,77114):-do(77114).
+ loss(net,_,_).
+
+%77115* does taxable income include illegal income
+gross_income(illegal_income,_):-do(77115).
+taxable_income(illegal_income,_):-do(77115).
+
+%73101* 73102 how can i reduce my taxable income
+%73101* how many exemption could i have if i am married
+taxable_income(decrease,_):-do(73101), do(73102).
+deduct(personal,_,73101):-do(73101), do(73102).
+deduction(personal,P):-var(P), do(73101).
+deduction(spouse,_):-do(73101).
+deduction(marriage,_):-do(73101).
+
+%73102* in what cases can my personal exemption be reduced (+73101)
+%73102* could i have personal exemption if my agi is greater than 100000 dollars
+deduction(claim,P):-var(P), do(73102).
+deduction(personal,P):-var(P), do(73102).
+deduction(decrease,_):-do(73102).
+deduction(amount,_):-do(73102).
+agi(more,_):-do(73102).
+form(1040,X,_):-var(X), do(73102).
+form(1040,a,_):-do(73102).
+
+%73103* could i take exemption for myself if i am claimed as a dependent
+%73103* when i can not claim personal exemption
+deduction(claim,dependent(_,_)):-do(73103).
+deduction(personal,dependent(_,_)):-do(73103).
+ dependent(claim,_):-do(73103).
+cannot(deduction(claim,_),_):-do(73103).
+cannot(deduction(personal,_),_):-do(73103).
+
+%73104* could i claim spouse exemption if we were divorced at the end of 1999
+deduction(personal,divorce(_,_)):-do(73104).
+deduction(claim,divorce(_,_)):-do(73104).
+cannot(deduction(claim,_),_):-do(73104).
+cannot(deduction(personal,_),_):-do(73104).
+deduction(personal,spouse):-do(73104).
+deduction(claim,spouse):-do(73104).
+deduction(personal,marriage):-do(73104).
+deduction(claim,marriage):-do(73104).
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%80100 80102* what should i do if i bought home
+%80100* what is basis of home
+what_is(basis(home(_,_,_),_,80100),_):-do(80100).
+basis(home(X,_,_),define,80100):-var(X), do(80100).
+buy(home(_,_,_),80100):-do(80100).
+publication(523,_):-member(N,[80100,80101,80102,80103,80104,80105,80106,
+ 80107,80108,80109,80110,80111,80112,80113,80114,80115,80116,
+ 80117,80118]), do(N).
+
+%80101* what is adjusted basis of home
+what_is(adjusted_basis(home(_,_,_),_,80101),_):-do(80101).
+adjusted_basis(home(_,_,_),define,80101):-do(80101).
+
+%80101...* how to figure gain on sale of my home
+gain(sell(home(X,_,_),_),how(calculate,_),80101):-var(X), do(80101).
+loss(sell(home(X,_,_),_),how(calculate,_),80101):-var(X), do(80101).
+
+%80102* what is cost of property
+%80102...* how to figure home basis ( big answer )
+%80102...* how to figure basis when i buy home
+%80102...* when can i reduce home basis
+cost(property(_,_),_):-do(80102).
+cost(home(_,_,_),_):-do(80102).
+basis(home(X,_,_),how(calculate,_),80102):-var(X), do(80102).
+buy(home(_,_,_),80102):-do(80102).
+pay(points,homeseller,80102):-do(80102).
+basis(home(X,_,_),decrease,80102):-var(X), do(80102).
+worksheet(1,_):-do(80102).
+
+%80103* Are settlement fees included in home basis
+%80103* how to figure home basis if i pay settlement fees
+basis(home(X,_,_),how(calculate,_),80103):-var(X), do(80103).
+pay(settlement,80103):-do(80103).
+fee(settlement,80103):-do(80103).
+buy(home(_,_,_),80103):-do(80103).
+cost(closing,80103):-do(80103).
+
+%80104* May Real Estate Taxes affect home basis
+basis(home(X,_,_),how(calculate,_),80104):-var(X), do(80104).
+property_taks(home(_,_,_),80104):-do(80104).
+
+%80105* how to figure basis when i build house on my own land
+basis(home(build,_,_),how(calculate,_),80105):-do(80105), do(80106).
+home(build,_,80105):-do(80105).
+
+%80106* should i reduce basis when builder gave me temporary house for period
+% of construction a new home
+basis(home(temporary,_,_),how(calculate,_),80106):-do(80106).
+basis(home(temporary,_,_),decrease,80106):-do(80106).
+ home(temporary,_,80106):-do(80106).
+
+%80107* how to figure basis in the case of cooperative home
+basis(home(cooperative,_,_),how(calculate,_),80107):-do(80107).
+
+%80108* how to figure home basis in the case of condominium
+basis(home(condominium,_,_),how(calculate,_),80108):-do(80108).
+ home(condominium,_,80108):-do(80108).
+
+%80109* how to figure basis if i receive home as gift
+basis(home(gift,_,_),how(calculate,_),80109):-do(80109).
+ home(gift,_,80109):-do(80109).
+
+%80110* how to figure basis when i received home from spouse
+basis(home(spouse,_,_),how(calculate,_),80110):-do(80110).
+basis(home(divorce(_,_),_,_),how(calculate,_),80110):-do(80110).
+ home(divorce(_,_),_,80110):-do(80110).
+publication(504,_):-do(80110).
+
+%80111* how to figure basis when i received home as inheritance
+basis(home(inheritance,_,_),how(calculate,_),80111):-do(80111).
+ home(inheritance,_,80111):-do(80111).
+basis(home(death,_,_),how(calculate,_),80111):-do(80111).
+ home(death,_,80111):-do(80111).
+property(community,80111):-do(80111).
+publication(555,_):-do(80111).
+
+%80112- how to figure basis when i received home in trade (eliminate trade(_,_))
+basis(home(X,_,_),how(calculate,_),80112):-var(X), do(80112).
+trade(home(_,_,_),80112):-do(80112).
+
+%80113* how to get information on basis
+basis(_,information(_,_),80113):-do(80113).
+publication(551):-do(80113).
+
+%80114* what increases to basis
+basis(home(X,_,_),increase,80114):-var(X), do(80114).
+
+%80115* what decreases to basis
+basis(home(X,_,_),decrease,80115):-var(X), do(80115).
+
+%80116* how do home improvements affect on basis
+basis(home(X,_,_),increase,80116):-var(X), do(80116).
+basis(home(X,_,_),decrease,80116):-var(X), do(80116).
+basis(home(improvement,_,_),how(calculate,_),80116):- do(80116).
+home(improvement,_,80116):-do(80116).
+
+%80117* how does home repair affect on basis
+basis(home(repair,_,_),how(calculate,_),80117):-do(80117).
+home(repair,_,80117):-do(80117).
+
+%80118* what records prove my homes adjusted bases
+%80118* how many years must i keep records on home adjusted bases
+%80118* what records must i keep
+proof(adjusted_basis(home(_,_,_),_,_),_):-do(80118).
+record(adjusted_basis(home(_,_,_),_,_),_):-do(80118).
+keep(record(adjusted_basis(_,_,_),_),what):-do(80118).
+keep(record(adjusted_basis(_,_,_),_),how_long):-do(80118).
+need(record(adjusted_basis(_,_,_),_),_,80118):-do(80118).
+need(keep(record(P,_),what),_,80118):-P=..[X|_], X=adjusted_basis, do(80118).
+need(keep(record(P,_),how_long),_,80118):-P=..[X|_], X=adjusted_basis,do(80118).
+
+%82100* what should i do when i sold home
+sell(home(X,_,_),82100):-var(X), do(82100).
+publication(523,_):-do(82100).
+
+%82101* can i exclude from income gain from the sale of my house
+%82101* how much gain on the sale of my house can i exclude from income
+%82101- can i exclude from taxable income gain from the sale of my house
+%82101...* when can i use reduced exclusion
+gross_income(sell(home(_,_,_),_),homeseller):-do(82101), do(82102).
+taxable_income(sell(home(_,_,_),_),homeseller):-do(82101), do(82102).
+taxable_income(decrease,X):-nonvar(X), X=homeseller, do(82101).
+gross_income(decrease,homeseller):-do(82101).
+deduct(income,homeseller,82101):-do(82101).
+deduct(gain(sell(P,_),_,_),homeseller,82101):-P=..[X|_], X=home, do(82101).
+limit(exclusion(amount,homeseller,_),_):-do(82101).
+limit(deduct(gain(_,_,_),homeseller,_),_):-do(82101).
+exclusion(amount,homeseller,82101):-do(82101).
+exclusion(decrease,homeseller,82101):-do(82101).
+worksheet(3,_):-do(82101).
+publication(523,_):-do(82101).
+
+%82102* can i deduct loss on the sale of my home
+deduct(loss(sell(P,_),_,_),homeseller,82102):-
+ nonvar(P), P=..[X|_], X=home, do(82102).
+form(1040,X,homeseller):-var(X), do(82102), do(82104).
+form(w2,X,homeseller):-var(X), do(82102), do(82104).
+publication(523,_):-do(82102).
+
+%82103* how to figure gain (loss) on sale of my home
+gain(sell(home(X,_,_),_),how(calculate,_),82103):-var(X), do(82103).
+loss(sell(home(X,_,_),_),how(calculate,_),82103):-var(X), do(82103).
+publication(523,_):-do(82103).
+how(calculate,_).
+
+%82104* what is selling price of home
+%82104* what is personal property
+what_is(home(selling_price,_,_),_):-do(82104).
+what_is(home(price,_,_),_):-do(82104).
+what_is(selling_price,_):-do(82104).
+home(selling_price,_,82104):-do(82104).
+home(price,_,82104):-do(82104).
+%what_is(property(personal,_),_):-do(82104).
+property(personal,_):-do(82104).
+form(1099,s,_):-do(82104).
+publication(523,_):-do(82104).
+
+%82105* what is amount realized
+%82105- what is amount realized on sale of home
+%82105* what are selling expenses
+what_is(amount_realized(home(_,_,_),_),_):-do(82105), !.
+amount_realized(home(_,_,_),_):-do(82105).
+what_is(expense(sell(_,_),_),_):-do(82105), !.
+expense(sell(_,_),_):-do(82105).
+publication(523,_):-do(82105).
+
+%82106* how to figure gain (loss) when i trade home
+trade(home(_,_,_),82106):-do(82106).
+gain(trade(home(_,_,_),_),how(calculate,_),82106):-do(82106).
+loss(trade(home(_,_,_),_),how(calculate,_),82106):-do(82106).
+publication(523,_):-do(82106).
+
+%82107* how to figure gain in the case of home foreclosure (repossession)
+%82107* how to figure gain from sale if i abandon my home
+gain(sell(home(X,_,_),_),how(calculate,_),82107):-
+ (X=foreclosure; X=repossession; X=abandonment),
+ do(82107).
+loss(sell(home(X,_,_),_),how(calculate,_),82107):-
+ (X=foreclosure; X=repossession; X=abandonment),
+ do(82107).
+gain(home(X,_,_),_,82107):-
+ nonvar(X),
+ (X=foreclosure; X=repossession; X=abandonment),
+ do(82107).
+loss(home(X,_,_),_,82107):-
+ nonvar(X),
+ (X=foreclosure; X=repossession; X=abandonment),
+ do(82107).
+ home(foreclosure,_,82107):-do(82107).
+ home(repossession,_,82107):-do(82107).
+ home(abandonment,_,82107):-do(82107).
+form(1040,d,_):- do(82107).
+schedule(d,1040):-do(82107).
+bankruptcy(home(_,_,_),_):-do(82107).
+home(debt(cancel,_),_,82107):-do(82107).
+gross_income(debt(cancel,_),_):-do(82107).
+debt(cancel,_):-do(82107).
+publication(908,_):-do(82107).
+form(1099,X,_):-var(X), do(82107).
+publication(544,_):-do(82107).
+publication(523,_):-do(82107).
+
+%82108* how to figure gain(loss) when i transfer home to spouse
+gain(home(transfer,_,_),_,82108):-do(82108).
+ home(transfer,_,82108):-do(82108).
+loss(home(transfer,_,_),_,82108):-do(82108).
+gain(home(spouse,_),_,82108):-do(82108).
+ home(spouse,_,82108):-do(82108).
+loss(home(spouse,_,_),_,82108):-do(82108).
+publication(504,_):-do(82108).
+publication(523,_):-do(82108).
+
+%%% 13.01.00
+%82109* when can i claim exclusion of gain from income
+%82109* are there limits on exclusion of gain for homesellers
+%82109* what are tests on exclusion of gain for homesellers
+%82109...* how can i exclude gain from selling of my house
+exclusion(claim,homeseller,82109):-do(82109).
+limit(exclusion(_,homeseller,_),_):-do(82109).
+limit(deduct(gain(_,_,_),homeseller,_),_):-do(82109).
+exclusion(sell(home(_,_,_),_),homeseller,82109):- do(82109).
+deduct(gain(sell(P,_),_,_),homeseller,82109):-P=..[X|_], X=home, do(82109).
+exclusion(test(_,_,_),homeseller,82109):- do(82109).
+deduct(gain(test(_,_,_),_,_),homeseller,82109):- do(82109).
+ gain(test(_,_,_),_,82109).
+own(home(_,_,_),homeseller):-do(82109).
+test(ownership,homeseller,82109):-do(82109).
+test(use,homeseller,82109):-do(82109).
+home(less,homeseller,82109):-do(82109).
+home(more,homeseller,82109):-do(82109).
+exclusion(decrease,homeseller,82109):-do(82109).
+publication(523,_):-do(82109).
+
+%82110...* how to figure period in ownership (use) test
+%82110* does period in ownership (use) test have to be continuous
+test(ownership,homeseller,82110):-var(X), do(82110).
+test(use,homeseller,82110):-var(X), do(82110).
+period(continuous,82110):-do(82110).
+period(how(calculate,_),82110):-do(82110).
+exclusion(decrease,homeseller,82110):-do(82110).
+publication(523,_):-do(82110).
+
+%82111* how about ownership (use) test when i sold stock in a cooperative housing corporation
+test(ownership,homeseller,82111):-do(82111).
+test(use,homeseller,82111):-do(82111).
+sell(stock(home(cooperative,_,_),_),82111):-do(82111).
+home(cooperative,homeseller,82111):-do(82111).
+publication(523,_):-do(82111).
+
+%82112* how about ownership (use) test for individuals with a disability
+test(ownership,disability,82112):-do(82112).
+test(use,disability,82112):-do(82112).
+publication(523,_):-do(82112).
+
+%82113* how to affect on ownership (use) test the sale of my previous house
+test(ownership,homeseller,82113):-do(82113).
+test(use,homeseller,82113):-do(82113).
+home(previous,homeseller,82113):-do(82113).
+ period(how(calculate,_),82113).
+sell(home(X,_,_),82113):-nonvar(X), X=previous, do(82113).
+gain(sell(home(X,_,_),_),_,82113):-nonvar(X), X=previous, do(82113).
+publication(523,_):-do(82113).
+
+%82114* how about ownership (use) test if my previous home destroyed (condemned)
+test(ownership,homeseller,82114):-do(82114).
+test(use,homeseller,82114):-do(82114).
+destroy(home(previous,homeseller,_),82114):-do(82114).
+condemn(home(previous,homeseller,_),82114):-do(82114).
+ period(how(calculate,_),82114).
+publication(523,_):-do(82114).
+
+%82115* can divorce affect on ownership (use) test
+%82115- can marriage affect on ownership (use) test ( test(marriage,..) )
+%82115* can death of one spouse affect on ownership (use) test
+%exclusion(sell(home(_,_,_),_),homeseller,82115):- do(82115).
+%deduct(gain(sell(P,_),_,_),homeseller,82115):-P=..[X|_], X=home, do(82115).
+test(ownership,marriage,82115):-do(82115).
+test(ownership,spouse,82115):-do(82115).
+test(ownership,death,82115):-do(82115).
+test(ownership,divorce(_,_),82115):-do(82115).
+test(use,marriage,82115):-do(82115).
+test(use,divorce(_,_),82115):-do(82115).
+test(use,spouse,82115):-do(82115).
+test(use,death,82115):-do(82115).
+ period(how(calculate,_),82115).
+publication(523,_):-do(82115).
+
+%82116 82117 82118* can i exclude gain from sale of my house
+% if i have used it for business
+exclusion(sell(home(_,_,_),_),homeseller,82116):- do(82116), do(82117), do(82118).
+exclusion(business(home(_,_,_),_),homeseller,82116):- do(82116), do(82117), do(82118).
+deduct(gain(sell(P,_),_,_),homeseller,82116):-P=..[X|_], X=home, do(82116), do(82117), do(82118).
+deduct(business(home(_,_,_),_),homeseller,82116):-do(82116), do(82117), do(82118).
+gain(sell(home(_,_,_),_),_,82116). %:- do(82116), do(82117), do(82118).
+sell(home(X,_,_),82116):- var(X), do(82116), do(82117), do(82118).
+test(ownership,homeseller,82116):-do(82116), do(82117), do(82118).
+test(use,homeseller,82116):-do(82116), do(82117), do(82118).
+business(home(_,homeseller,_),82116):-do(82116), do(82117), do(82118).
+home(rent,homeseller,82116):-do(82116), do(82117), do(82118).
+publication(523,_):-do(82116).
+
+form(4797,X,homeseller):- var(X), do(82117).
+publication(523,_):-do(82117), do(82118).
+
+business(home(depreciation,homeseller,_),82128):- do(82118).
+home(depreciation,homeseller,82128):- do(82118).
+
+%82119* how to deduct real estate tax when selling home
+deduct(property_taks(sell(P,_),_),_,82119):-P=..[X|_], X=home, do(82119).
+property_taks(sell(home(_,_,_),_),82119):-do(82119).
+form(1099,s,homeseller):- do(82119).
+form(1099,s,homebuyer):- do(82119).
+publication(530,_):-do(82119).
+publication(523,_):-do(82119).
+
+%82120* Can i deduct transfer (stamp) taxes on the sale of my home
+deduct(transfer_taks(sell(P,_),_),_,82120):-P=..[X|_], X=home, do(82120).
+ transfer_taks(sell(home(_,_,_),_),_):-do(82120).
+deduct(stamp_taks(sell(P,_),_),_,82120):-P=..[X|_], X=home,do(82120).
+ stamp_taks(sell(home(_,_,_),_),82120):-do(82120).
+ deduct(transfer_taks(_,_),_,82120).
+ deduct(stamp_taks(_,_),_,82120).
+amount_realized(home(_,_,_),82120):-do(82120).
+basis(home(X,homebuyer,_),how(calculate,_),82120):-var(X), do(82120).
+ home(_,homebuyer,82120).
+buy(home(_,_,_),82120). %:-do(82120).
+publication(523,_):-do(82120).
+
+%82121* do i need report gain if i sold my house (on my tax return)
+gain(report,when,82121):-do(82121).
+need(return(_,_),when,82121):- do(82121).
+sell(home(_,_,_),82121).
+need(report,when,82121). %:-do(82121).
+gain(sell(home(_,_,_),_),when,82121):- do(82121).
+publication(523,_):-do(82121).
+
+%%%%%%%%%%%%% continue
+%82122...* how do i report gain on sale of my house
+%82122...- how do i need report gain on sale of my house
+gain(report,how(report,_),82122):-do(82122), do(82125).
+gain(sell(home(_,_,_),_),how(report,_),82122):- do(82122), do(82125).
+%need(return(_,_),how(report,_),82122):- do(82122).
+form(1040,d,homeseller):- do(82122), do(82125).
+schedule(d,1040):- do(82122).
+worksheet(2,_):-do(82122), do(82125).
+worksheet(4,_):-do(82122), do(82125).
+keep(record(X,homeseller),what):-var(X), do(82122), do(82125).
+taks_rate(capital_gain(_,_),_):-do(82122).
+publication(523,_):-do(82122).
+
+%82123 What is installment sale
+what_is(installment_sale,_):-do(82123).
+gain(installment_sale,_,82123):-do(82123).
+publication(523,_):-do(82123).
+
+%82124 How to fill in tax return when i had installment sale of home
+gain(report,how(report,_),82124):-do(82124).
+return(installment_sale,homeseller):- do(82124).
+%return(gain(installment_sale,_,_),homeseller):- do(82124).
+gain(installment_sale,how(report,_),82124):- do(82124).
+gain(sell(home(_,_,_),_),how(report,_),82124):- do(82124).
+form(1040,b,homeseller):- do(82124).
+schedule(b,1040):- do(82124).
+schedule(1,1040):- do(82124).
+form(1040,a,_):-do(82124).
+need(ssn,_,82124):-do(82124).
+need(itin,_,82124):-do(82124).
+form(w7,X,itin):- var(X), do(82124).
+publication(537,_):-do(82124).
+publication(523,_):-do(82124).
+how(report,_).
+
+%82125 what is an example of reporting gain on selling a home
+gain(report,example,82125):-do(82125).
+
+%82126 can i exclude gain from selling my home if am not us citizen
+exclusion(sell(home(_,_,_),_),X,82126):-nonvar(X), X=nonresident, do(82126).
+deduct(gain(sell(_,_),_,_),X,82126):-nonvar(X), X=nonresident,do(82126).
+publication(523,_):-do(82126).
+
+%82127 how to exclude gain from home selling when my home was destroyed (condemned)
+exclusion(sell(home(_,_,_),_),homeseller,82127):-do(82127).
+destroy(home(X,homeseller,_),82127):-var(X), do(82127).
+condemn(home(X,homeseller,_),82127):-var(X), do(82127).
+deduct(gain(sell(P,_),_,_),homeseller,82127):-P=..[X|_], X=home, do(82127).
+publication(544,_):-do(82127).
+publication(523,_):-do(82127).
+
+%82128 how to exclude gain from the sale of a remainder interest in my home
+exclusion(sell(home(remainder_interest,_,_),_),homeseller,82128):-do(82128).
+ sell(home(X,_,_),_):-nonvar(X), X=remainder_interest, do(82128).
+ home(remainder_interest,_,82128):-do(82128).
+deduct(gain(sell(remainder_interest,_),_,_),homeseller,82128):-do(82128).
+ gain(sell(remainder_interest,_),_,82128):-do(82128).
+ sell(remainder_interest,_):-do(82128).
+publication(523,_):-do(82128).
+
+/* %%%% 14.01
+%83100 what is publication 530 about
+what_is(publication(530,_),_):-do(83100), !.
+publication(530,_):-do(83100).
+
+%83101* can i have tax credit when i buy home
+basis(home(columbia,homebuyer,_),decrease,83101):-do(83101).
+buy(home(X,_,_),83101):-nonvar(X), X=columbia, do(83101).
+tax_credit(claim,homebuyer,_,83101):-do(83101).
+tax_credit(home(buy,_,_),homebuyer,_,83101):-do(83101).
+tax_credit(home(columbia,_,_),homebuyer,_,83101):-do(83101).
+ home(columbia,homebuyer,83101):-do(83101).
+form(8859,X,homebuyer):-var(X), do(83101).
+publication(530,_):-do(83101).
+
+%13100 what records must i keep (== why must i keep record )
+%13100* how to keep records
+keep(record(X,_),what):- var(X), do(13100).
+keep(record(_,_),how):- do(13100).
+need(keep(record(X,_),what),_,13100):-var(X), do(13100).
+need(keep(record(_,_),how),_,13100):- do(13100).
+%publication(530,_):-do(13100).
+
+%13101* how long to keep records
+keep(record(X,_),how_long):- var(X), do(13101).
+need(keep(record(X,_),how_long),_,13101):-var(X), do(13101).
+limitations(period(_,_),_):-do(13101).
+
+%83102 who can receive mortgage interest credit
+mortgage_credit(X,_,83102):-var(X), do(83102).
+tax_credit(mortgage_credit(_,_,_),homebuyer,_,83102):-do(83102).
+publication(530,_):-do(83102).
+
+%83103 what is mortgage credit certificate (mcc)
+%83103 how can i get mcc (who can get mcc)
+mortgage_credit(X,_,83103):-var(X), do(83103).
+what_is(mcc(_,_),_):-do(83103).
+mcc(_,_):-do(83103).
+publication(530,_):-do(83103).
+
+%83104 how to claim mortgage credit
+mortgage_credit(claim,_,83104):- do(83104).
+deduct(mortgage_credit(_,_,_),_,83104):- do(83104).
+form(8396,X,_):- var(X), do(83104).
+form(1040,X,_):- var(X), do(83104).
+publication(530,_):-do(83104).
+
+%83105 in what cases should i repay mortgage interest credit
+%83105 what should i do if i sell home which buy using mcc
+mcc(_,_):-do(83105).
+sell(home(P,_,_),_):-nonvar(P), P=..[X|_], X=mcc, do(83105).
+ home(mcc(_,_),_,83105):-do(83105).
+refund(mortgage_credit(_,_,_),_):-do(83105).
+publication(523,_):-do(83105).
+publication(530,_):-do(83105).
+
+%83106 how to calculate mortgage interest credit
+mortgage_credit(report,how(calculate,_),83106):- do(83106).
+form(8396,X,_):- var(X), do(83106).
+publication(530,_):-do(83106).
+
+%83107 what limits may apply to my mortgage credit
+limit(mortgage_credit(_,_,_),_):- do(83107).
+form(1040,_,_):- do(83107).
+publication(530,_):-do(83107).
+
+%83108 in what cases mortgage credit must be divided
+% with more than one person
+mortgage_credit(more,how(calculate,_),83108):- do(83108).
+mortgage_credit(divide,how(calculate,_),83108):- do(83108).
+publication(530,_):-do(83108).
+
+%83109 can i carry forward unused portion of my mortgage credit
+mortgage_credit(forward,how(calculate,_),83109):- do(83109).
+mortgage_credit(unused,how(calculate,_),83109):- do(83109).
+publication(530,_):-do(83109).
+
+%83110 what should i do when i refinance mortgage loan on which i get MCC
+mortgage_credit(refinance,how(calculate,_),83110):- do(83110).
+mortgage(refinance,_):- do(83110).
+form(8396,X,_):- var(X), do(83110).
+keep(record(mcc(_,_),_),what):-do(83110).
+ record(mcc(_,_),_):-do(83110).
+mcc(_,_):-do(83110).
+publication(530,_):-do(83110).
+
+%83111 How to deduct expenses of owning a home
+deduct(expense(home(_,_,_),_),homeowner(X,_),83111):-var(X), do(83111).
+deduction(expense(home(_,_,_),_),homeowner(_,_)):- do(83111).
+deduction(itemize,homeowner(_,_)):-do(83111).
+form(1040,a,homeowner(_,_)):-do(83111).
+publication(530,_):-do(83111).
+
+%83112 can i deduct my house monthly payments
+deduct(home(pay(monthly,_,_),_,_),homeowner(_,_),83112):-do(83112).
+home(pay(monthly,_,_),homeowner(_,_),83112):-do(83112).
+deduct(property_taks(home(_,_,_),_),homeowner(X,_),83112):-var(X), do(83112).
+ property_taks(home(_,_,_),83112):-do(83112).
+deduct(mortgage_interest,homeowner(X,_),83112):-var(X), do(83112).
+publication(530,_):-do(83112).
+
+deduction(property_taks(home(X,Y,S),Z),W):- deduct(property_taks(home(X,Y,S),Z),W,_).
+deduction(mortgage_interest,W):- deduct(mortgage_interest,W,_).
+
+%83113 what can deduct minister(military) as homeowner
+deduct(property_taks(home(_,_,_),_),homeowner(military,_),83113):-do(83113).
+deduct(property_taks(home(_,_,_),_),homeowner(minister,_),83113):-do(83113).
+ homeowner(military,_):-do(83113).
+ homeowner(minister,_):-do(83113).
+deduct(mortgage_interest,homeowner(military,_),83113):-do(83113).
+deduct(mortgage_interest,homeowner(minister,_),83113):-do(83113).
+publication(530,_):-do(83113).
+
+%83114 what items can not i deduct in house payments
+cannot(deduct(home(_,_,_),homeowner(_,_),_),_):-do(83114).
+home(pay(monthly,_,_),homeowner(_,_),83114):-do(83114).
+home(pay(non_deductible,_,_),homeowner(_,_),83114):-do(83114).
+publication(530,_):-do(83114).
+
+%83115 83116 where to deduct real estate taxes
+deduct(property_taks(_,_),homeowner(_,_),83115):-do(83115), do(83116).
+form(1040,a,_):-do(83115).
+property_taks(_,83115):-do(83115), do(83116).
+publication(530,_):-do(83115).
+
+%83117 can i deduct delinquent tax of previous homeowner
+cannot(deduct(taks(delinquent,_),homeowner(_,_),_),_):-do(83117).
+deduct(taks(delinquent,_),homeowner(_,_),83117):-do(83117).
+ taks(delinquent,_):-do(83117).
+publication(530,_):-do(83117).
+
+%83118 cannot deduct the total you pay into the escrow account
+cannot(deduct(home(pay(_,_,_),_,_),homeowner(_,_),_),_):-do(83118).
+deduct(home(pay(_,_,_),_,_),homeowner(_,_),83118):-do(83118).
+publication(530,_):-do(83118).
+
+%83119 how to deduct real estate tax if i receive a refund of real estate taxes
+deduct(refund(property_taks(_,_),_),homeowner(_,_),83119):-do(83119).
+deduction(refund(property_taks(_,_),_),homeowner(_,_)):-do(83119).
+deduct(property_taks(decrease,_),homeowner(_,_),83119):-do(83119).
+publication(525,_):-do(83119).
+publication(530,_):-do(83119).
+
+%83120 how to deduct Real Estate Items taxes
+cannot(deduct(property_taks(_,_),homeowner(_,_),_),_):-do(83120).
+deduct(property_taks(non_deductible,_),homeowner(_,_),83120):-do(83120).
+property_taks(non_deductible,83120):-do(83120).
+publication(530,_):-do(83120).
+
+%83121 can i deduct amount paied for local benefits
+cannot(deduct(benefit(local,_),homeowner(_,_),_),_):-do(83121).
+deduct(benefit(local,_),homeowner(_,_),83121):-do(83121).
+deduction(benefit(local,_),homeowner(_,_)):-do(83121).
+ benefit(local,_):-do(83121).
+publication(530,_):-do(83121).
+
+%83122 can i deduct homeowners association assessments
+cannot(deduct(association,homeowner(_,_),_),_):-do(83122).
+deduct(association,homeowner(_,_),83122):-do(83122).
+deduction(association,homeowner(_,_)):-do(83122).
+publication(530,_):-do(83122).
+
+%83123 how can i deduct property tax in the case of cooperative apartment
+deduct(property_taks(home(cooperative,_,_),_),homeowner(_,_),83123):-do(83123).
+home(cooperative,homeowner(_,_),83123):-do(83123).
+deduct(property_taks(home(_,_,_),_),tenant,83123):-do(83123).
+deduct(property_taks(home(_,_,_),_),stockholder,83123):- do(83123).
+deduct(refund(property_taks(_,_),_),homeowner(corporation,_),83123):-do(83123).
+deduction(refund(property_taks(_,_),_),homeowner(corporation,_)):-do(83123).
+homeowner(corporation,_):-do(83123).
+publication(530,_):-do(83123).
+
+%83124 can i deduct mortgage credit interest
+deduct(mortgage_interest,homeowner(X,_),83124):-var(X), do(83124).
+deduction(mortgage_interest,homeowner(X,_)):-var(X), do(83124).
+form(1040,a,homeowner(X,_)):-var(X), do(83124).
+mortgage(refinance,_):- do(83124).
+limit(deduct(mortgage_interest,homeowner(_,_),_),_):- do(83124).
+limit(deduction(mortgage_interest,homeowner(_,_)),_):- do(83124).
+publication(936,_):-do(83124).
+publication(530,_):-do(83124).
+
+%83125 what should i do if i receive a refund of home mortgage interest
+deduct(refund(mortgage_interest,_),homeowner(_,_),83125):-do(83125).
+deduction(refund(mortgage_interest,_),homeowner(_,_)):-do(83125).
+refund(mortgage_interest,_):-do(83125).
+record(mortgage_interest,_):-do(83125).
+publication(525,_):-do(83125).
+publication(530,_):-do(83125).
+
+%%%% 17.01
+%83126 what can i deduct as home mortgage interest
+deduct(mortgage_interest,homeowner(_,_),83126):-do(83126).
+deduction(mortgage_interest,homeowner(_,_)):-do(83126).
+loan(home(_,_,_),_):-do(83126).
+loan(home_equity,_):-do(83126).
+loan(mortgage(_,_),_):-do(83126).
+pay(interest(advance,_),_,_):-do(83126).
+ interest(advance,_):-do(83126).
+deduct(penalty(mortgage_interest,_),homeowner(_,_),83126):-do(83126).
+ penalty(mortgage_interest,_):-do(83126).
+deduction(penalty(mortgage_interest,_),homeowner(_,_)):-do(83126).
+publication(530,_):-do(83126).
+
+%83127 what is ground rent
+%83127 can i deduct ground rent as mortgage interest
+deduct(mortgage_interest,homeowner(_,_),83127):-do(83127).
+deduction(mortgage_interest,homeowner(_,_)):-do(83127).
+ground_rent(_,_):-do(83127).
+deduct(ground_rent(_,_),homeowner(_,_),83127):-do(83127).
+publication(530,_):-do(83127).
+
+%83128 how can i deduct home mortgage interest in the case of cooperative apartment
+deduct(mortgage_interest,homeowner(_,_),83128):-do(83128).
+deduction(mortgage_interest,homeowner(_,_)):-do(83128).
+home(cooperative,homeowner(_,_),83128):-do(83128).
+deduct(refund(mortgage_interest,_),homeowner(_,_),83128):-do(83128).
+deduction(refund(mortgage_interest,_),homeowner(_,_)):-do(83128).
+form(1098,_,homeowner(_,_)):-do(83128).
+publication(936,_):-do(83128).
+publication(530,_):-do(83128).
+
+%83129 can i deduct Mortgage Interest Paid at Settlement
+deduct(mortgage_interest,homeowner(_,_),83129):-do(83129).
+deduction(mortgage_interest,homeowner(_,_)):-do(83129).
+pay(settlement,_,_):-do(83129).
+form(1040,a,homeowner(_,_)):-do(83129).
+publication(530,_):-do(83129).
+
+%83130 what are points
+%83130, 83131 how to deduct points
+%83130 how to use test for points deduction
+deduct(mortgage_interest,homeowner(_,_),83130):-do(83130).
+deduction(mortgage_interest,homeowner(_,_)):-do(83130).
+deduct(points,homeowner(_,_),83130):-do(83130).
+deduction(points,homeowner(_,_)):-do(83130).
+what_is(points,_):-do(83130), !.
+loan(home(_,_,_),_):-do(83130).
+loan(mortgage(_,_),_):-do(83130).
+test(points,_,83130):-do(83130).
+publication(535,_):-do(83130).
+publication(530,_):-do(83130).
+
+deduct(mortgage_interest,homeowner(_,_),83131):-do(83131).
+deduction(mortgage_interest,homeowner(_,_)):-do(83131).
+deduct(points,homeowner(_,_),83131):-do(83131).
+deduction(points,homeowner(_,_)):-do(83131).
+publication(530,_):-do(83131).
+
+%83132 can i deduct points paid by me as homeseller
+deduct(mortgage_interest,homeowner(_,_),83132):-do(83132).
+deduction(mortgage_interest,homeowner(_,_)):-do(83132).
+deduct(points,homeseller,83132):-do(83132).
+deduction(points,homeseller):-do(83132).
+cannot(deduct(points,homeseller),_):-do(83132).
+amount_realized(home(_,homeseller,_),_):-do(83132).
+pay(points,homeseller,_):-do(83132).
+publication(530,_):-do(83132).
+
+%83133 deduct points when funds provided are less than points
+deduct(mortgage_interest,homeowner(_,_),83133):-do(83133).
+deduction(mortgage_interest,homeowner(_,_)):-do(83133).
+deduct(points,homeowner(_,_),83133):-do(83133).
+deduction(points,homeowner(_,_)):-do(83133).
+test(points,_,83133):-do(83133).
+publication(530,_):-do(83133).
+
+%83134 /Excess/ points
+deduct(mortgage_interest,homeowner(_,_),83134):-do(83134).
+deduction(mortgage_interest,homeowner(_,_)):-do(83134).
+deduct(points,homeowner(_,_),83134):-do(83134).
+deduction(points,homeowner(_,_)):-do(83134).
+test(points,_,83134):-do(83134).
+form(1098,_,homeowner(_,_)):-do(83134).
+publication(530,_):-do(83134).
+
+%83135 how to deduct points when mortgage ending early
+%83135 what should i do with points when mortgage ending early
+deduct(mortgage_interest,homeowner(_,_),83135):-do(83135).
+deduction(mortgage_interest,homeowner(_,_)):-do(83135).
+deduct(points,homeowner(_,_),83135):-do(83135).
+deduction(points,homeowner(_,_)):-do(83135).
+deduct(mortgage(full,_),homeowner(_,_),83135):- do(83135).
+deduct(mortgage(early,_),homeowner(_,_),83135):-do(83135).
+mortgage(full,_):- do(83135).
+mortgage(early,_):-do(83135).
+publication(530,_):-do(83135).
+
+%83136 where to deduct home mortgage interest %%% ????
+deduct(mortgage_interest,homeowner(_,_),83136):-do(83136).
+deduction(mortgage_interest,homeowner(_,_)):-do(83136).
+form(1040,a,homeowner(_,_)):-do(83136).
+form(1098,_,homeowner(_,_)):-do(83136).
+publication(530,_):-do(83136).
+
+%83137 who receive mortgage interest statement
+%83137 should i send mortgage interest statement to irs
+record(mortgage_interest,_):-do(83137).
+form(1098,_,homeowner(_,_)):-do(83137).
+pay(settlement,_,_):-do(83137).
+form(1040,a,homeowner(_,_)):-do(83137).
+refund(mortgage_interest,_):-do(83137).
+publication(530,_):-do(83137).
+
+%10103 10106 can i deduct ira contribution from taxable income
+%10103 10106 what are ira benefits
+benefit(ira(roth,_),_):-do(10103), do(10106).
+ira(roth,_):-do(10103).
+cannot(deduct(contribution(P,_),_,_),_):-P=..[X|_], X=ira, do(10103), do(10106).
+deduct(contribution(ira(_,_),_),_,10103):-do(10103), do(10106).
+ira(withdrawal,_):-do(10103), do(10106).
+income_taks(ira(withdrawal,_),_):-do(10103), do(10106).
+
+%10104 can i convert money to a roth ira from traditional ira
+ira(roth,_):-do(10104), do(10106).
+ira(traditional,_):-do(10104), do(10106).
+convert(ira(_,_),_):-do(10104), do(10106).
+taxable_income(ira(traditional,_),_):-do(10104), do(10106).
+deduct(contribution(ira(_,_),_),_,10104):-do(10104), do(10106).
+ira(age,_):-do(10104), do(10106).
+ira(agi(modified,_),_):-do(10104), do(10106).
+contribution(ira(_,_),_):-do(10104), do(10106).
+ira(distribution,_):-do(10104), do(10106).
+
+%10105 can i withdraw funds from IRA for educational expenses
+ira(new,_):-do(10105), do(10106).
+ira(withdraw,_):-do(10105), do(10106).
+taxable_income(ira(withdraw,_),_):-do(10105), do(10106).
+ira(buy(home(first,_,_),_),_):-do(10105), do(10106).
+ buy(home(first,_,_),_):-do(10105).
+ home(first,_,_).
+ira(expense(education,_),_):-do(10105), do(10106).
+ expense(education,_):-do(10105).
+
+publication(17,_):-do(10106).
+publication(590,_):-do(10106).
+
+%52100 what are tax benefits for parents with 1 child
+%52100 what is child tax credit
+tax_credit(child(_,_),parent,_,52100):-do(52100).
+taks(benefit(child(_,_),_),parent):-do(52100).
+benefit(child(_,_),parent):-do(52100).
+
+%52101 what tax credit can i receive if i have more than 3 children
+%52101 are there income (agi) restrictions on child tax credit
+%52101 how do you claim child tax credit
+tax_credit(child(_,_),parent,_,52101):-do(52101).
+agi(modified,parent):-do(52101).
+form(1040,_,parent):-do(52101).
+form(8812,_,parent):-do(52101).
+publication(17,_):-do(52101).
+
+%tax_credit(higher_education,_,_,52100):-do(52100). */
+
+
+%%%%%%%%%%%%%%%%%%%% COMMON PREDICATES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+what_is(P,_):- P, !.
+
+who_is(_,_):-fail.
+
+taxable_income(X,Y):- taxable_earned_income(X,Y).
+earned_income(X,Y):- taxable_earned_income(X,Y).
+
+adjusted_basis(X,_,Z):-basis(X,increase,Z).
+adjusted_basis(X,_,Z):-basis(X,decrease,Z).
+adjusted_basis(X,_,Z):-basis(X,adjustment,Z).
+
+do(N):-do1(N), !.
+do(N):-do5(N), !.
+do(N):-do8(N), !.
+do(N):-do83(N), !.
+do(N):- interpreter, int_text(N,Str), iassert(Str), !.
+do(N):- int_text(N,Nstr),
+ concat([" Information on number ",Nstr," is absent."],Str),
+ iassert(Str), !.
+
Added: opennlp/sandbox/opennlp-similarity/src/test/resources/taxonomies/irs_domTaxo.dat
URL: http://svn.apache.org/viewvc/opennlp/sandbox/opennlp-similarity/src/test/resources/taxonomies/irs_domTaxo.dat?rev=1306625&view=auto
==============================================================================
Binary file - no diff available.
Propchange: opennlp/sandbox/opennlp-similarity/src/test/resources/taxonomies/irs_domTaxo.dat
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream