גרמנית ⇄ איטלקית אנגלית דנית הולנדית יוונית ספרדית פורטוגלית פינית צרפתית שוודית +

PRENEX-Normalform f
.טכנול	forme normale prénex; forme prénexe