wild rose subgroup of rose, 3 assertions