Extractions in Rothienorman