double stroller subgroup of stroller, 6 assertions