Junk-Rule: If a message is from a retailer then the message is not important. Delivery-Rule: If a message is from someone from who Karen awaits a delivery then the message is important. Delivery-Rule overrides Junk-Rule. Karen awaits a delivery from ParisCo. FaveCo is a retailer. BabyCo is a retailer. ParisCo is a retailer. FaveCo-Rule: If a message is from FaveCo then the message is important. FaveCo-Rule overrides Junk-Rule. Message110 is a message and is from ParisCo. Message116 is a message and is from FaveCo. Message211 is a message and is from BabyCo.