what lighthouse has 9000.0 as the value of its intensity?
(AND architecture.lighthouse (JOIN architecture.lighthouse.intensity 9000.0^^http://www.w3.org/2001/XMLSchema#float))