Definiția cu ID-ul 1206833:

Explicative DEX

prole sf [At: DN3 / Pl: ~me / E: fr prolemme] (Log) Propoziție sau serie de propoziții care servesc ca bază unei leme.