>> There are several Presbyterian denominations in the United States <<
Several? You gotta be kidding. I think it’s more like “several dozen.”
OK, name them.
I get the following:
Conservative Calvinist
OPC
PCA
ARP
RPCNA
K-APC
Conservative, Non-Calvinist
BPC
Moderate
EPC
KPCA
EAPCA
Liberal/NonCalvinist
PC(USA)
Cumberland Presbyterian
Cumberland Pres in America
And the offshoot of the PCUSA
ECO