You have the general meaning correct, and that’s likely about how one would translate it.
With the explanatory の and the questioning か, you could more literally translate the line as “Is it that the earlier lightning came down here?”
You have the general meaning correct, and that’s likely about how one would translate it.
With the explanatory の and the questioning か, you could more literally translate the line as “Is it that the earlier lightning came down here?”