which lighthouse's intensity is 9000.0?
(AND architecture.lighthouse (JOIN architecture.lighthouse.intensity 9000.0^^http://www.w3.org/2001/XMLSchema#float))