BUR #31690 has been approved by @nonamethanks.
create implication holding_dumbbell -> holding
create implication holding_dumbbell -> dumbbell
A dumbbell must exist if someone is holding a dumbbell, and someone must be holding an object if they're holding a dumbbell.