bat house subgroup of house, 4 assertions