% affiliates.le 
% http://demo.logicalcontracts.com:8082/p/cgt_affiliates.pl
%Knowledge page carefully crafted in Taxlog/Prolog from the legislation at
%https://www.ato.gov.au/general/capital-gains-tax/small-business-cgt-concessions/basic-conditions-for-the-small-business-cgt-concessions/affiliates/
%

the predicates are:
    a term must not be a variable,
    a term must be nonvar,
    an entity has affiliated with an affiliate at a date,
    a date is not before a second date, 
    an affiliate is an individual or is a company,
    an affiliate is a trust,
    an affiliate is a partnership,
    an affiliate is a superannuation fund,
    an affiliate acts in accordance with directions from an entity,
    an affiliate acts in concert with an entity,
    an affiliate is affiliated per older legislation with an entity,
    an entity is a trust,
    an entity is a trust according to other legislation,
    an entity is a partnership,
    an entity is a partnership according to other legislation,
    an entity is a superannuation fund, 
    an entity is a superannuation fund according to other legislation.

the knowledge base includes:
a term must not be a variable 
    if the term must be nonvar.
 
an entity has affiliated with an affiliate at a date 
    if the date is not before 20090101
    and the affiliate is an individual or is a company
    and it is not the case that 
        the affiliate is a trust
    and it is not the case that 
        the affiliate is a partnership
    and it is not the case that 
        the affiliate is a superannuation fund
    and the affiliate acts in accordance with directions from the entity
        or  the affiliate acts in concert with the entity.

an entity has affiliated with an affiliate at a date 
    if  the date is before 20090101
    and the entity must not be a variable
    and the affiliate must not be a variable
    and the affiliate is affiliated per older legislation with the entity.
 
% predefined
%an affiliate is an individual or is a company at a date 
%    if myDB_entities:is_individual_or_company_on(the affiliate,the date).
 
an entity is a trust 
    if the entity is a trust according to other legislation.
 
an entity is a partnership 
    if the entity is a partnership according to other legislation.
 
an entity is a superannuation fund 
    if the entity is a superannuation fund according to other legislation.