Use the sample() method of Hoa\Realdom\Disjunction