Danielx21 over 13 years ago Current state:messenger_bag -> bagshoulder_bag -> bagProposed state:messenger_bag -> shoulder_bag -> bagReason:A messenger bag is a type of shoulder bag. Updated by a moderator about 13 years ago Reply Copy ID Copy Link
Danielx21 about 13 years ago *bumps*The code would be:remove implication shoulder_bag -> bagcreate implication messenger_bag -> shoulder_bag Reply Copy ID Copy Link
jxh2154 about 13 years ago Well we want to keep shoulder_bag -> bag so I just did:create implication messenger_bag -> shoulder_bag Reply Copy ID Copy Link
S1eth about 13 years ago Guess he meantremove implication messenger_bag -> bagSince now messenger_bag implicates both bag and shoulder_bag, and shoulder_bag implicates bag again. Don't know if those double implications make any difference, though. Reply Copy ID Copy Link
jxh2154 about 13 years ago I don't think it affects anything but I'll remove the extra. Reply Copy ID Copy Link