premise: they live in the new housing development
hypothesis: a specific type of housing development is second lateran council (or Second Lateran Council), defined as 'the second council of the Western Church in 1139 which put an end to the dogmatic errors of Arnold of Brescia' .