It is interesting to learn that there is no statutory definition for principal residence in the Tax Code. If you ask an IRS agent -- or your tax attorney -- for a definition, she will advise you that 'whether or not property is used by the taxpayer as his principal residence...