2.5.4 变元和量词在语义网络中的表示方法