Producing a quantified permission expression now uses the auxiliary term extraction code
Producing a quantified permission expression now uses the auxiliary term extraction code

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