screened porch subgroup of porch, 4 assertions