large farm subgroup of farm, 2 assertions