Added possibility of specifying triggers (and descriptions) to terms.Quantification
Added possibility of specifying triggers (and descriptions) to terms.Quantification

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors