red rose subgroup of rose, 11 assertions