Yes. If the buyer is a partial owner of the rooftop, you have to disclose this information.