create implication green_skirt -> skirt
reason: the former is a type of the latter.
create implication yellow_shirt -> shirt
create implication white_shirt -> shirt
create implication black_shirt -> shirt
create implication red_shirt -> shirt
create implication open_shirt -> shirt
reason: the former is a type of the latter.
Updated by jjj14