The random graph order P-n,P-p is defined by taking a random graph G(n
,p) on vertex set [n], interpreting an edge between vertices i and j,
with i < j in [n], as a relation i < j, and taking the transitive clos
ure. We present a first-order property Q of P-n,P-p such that the limi
ting probability of Q is bounded away from both 0 and 1 as n-->infinit
y, whenever pn is bounded away from 0 and p is bounded away from 1. (C
) 1995 John Wiley & Sons, Inc.