BUR #15374 has been rejected.
create implication open_shirt -> shirt
create implication unbuttoned_shirt -> shirt
an open shirt implies a shirt, i suspect the only reason it wasn't done before was the wiki mentioned "shirt or blouse", but blouse itself is implicated to shirt