трансляторtranslator [oris, m];
формулярformula [ae, f];
подрядчикredemptor [oris, m];
propositum [i, n];