Statistics of Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic