“如果没有他们的辛劳，没有他们的牺牲，就没有这些用石板砌成的阶梯，就没有脚下的路，也就没有游人的欢乐”，这个命题的结构形式可用公式表示为（）。