Like I said earlier, the numbers I'm posting are "Betfair Exchange" numbers, which AFAIK works pretty much like the old Intrade did, in that every transaction is by definition a trade between who's buying an event and someone else who's short selling the same event. This is in contrast to the vanilla version of Betfair, where the price is set by bookies.
So no, short selling isn't disallowed. It's *required* that every trade involves someone short selling, to counteract the person buying.
That said, you're right that the volume doesn't tend to be high enough to make the market perfectly efficient. On the "winning individual" market, a given candidate might go several days without having any shares traded. Thus winning individual is more likely to lag in certain trends as compared to the nomination markets.
Thanks for that info. I didn't know the volume numbers, good to know.