Definiția cu ID-ul 1104422:

Explicative DEX

functor sm [At: DEX / Pl: ~i / E: fr functeur] (Log) Operator logic.