We can consider objects existing, apart from other predicates they might haver' • So ]tal t watashi aru ( ) w ie (")] is satisfied at when in every world where `watashi' wa is relevant, there is a u which is a house in every house-relevant world that satisfies ]xaru(x)'.
there will be a house in every world where `watashi' is relevant.