BUR #25484 has been approved by @nonamethanks.
create implication black_slingshot_swimsuit -> slingshot_swimsuit
create implication red_slingshot_swimsuit -> slingshot_swimsuit
create implication blue_slingshot_swimsuit -> slingshot_swimsuit
create implication white_slingshot_swimsuit -> slingshot_swimsuit
create implication purple_slingshot_swimsuit -> slingshot_swimsuit
create implication green_slingshot_swimsuit -> slingshot_swimsuit
create implication yellow_slingshot_swimsuit -> slingshot_swimsuit
create implication pink_slingshot_swimsuit -> slingshot_swimsuit
subsets