Construction Rule II: If X and Y are wffs, then (X|Y) is a wff.
构造规则II：如果X和Y是wff，则(X|Y)是wff。