Ты прав(а). Иоанн Антонович был внуком (сыном дочери) родной сестры Анны Иоанновны. Значит ей приходился внучатым племянником.