Ok, AIRV fails FBC. That isn't such bad news, because I've just abandoned AIRV
because it probably fails
One Candidate Mutuality (1CM), which is met by ABucklin and DP.
In AIRV, if all of a majority rank x, but they rank hir barely above their
unranked, x can get eliminated early-on.
If no one gets a majority, then the winner is the candidate with most votes,
which might be one that that
majority didn't rank, if that majority are too fractious to accumulate their
votes on one candidate.
Mike Ossipoff
----
Election-Methods mailing list - see http://electorama.com/em for list info