Implicating gloves_(marking) → arm_markings
Link to implication
Reason:
There are inconsistencies in the markings implication tree:
gloves_(marking) is implicated to markings
socks_(marking) is implicated to leg_markings
To address this, gloves_(marking) should be implicated to arm_markings instead, which will in turn implicate markings. Remove the current gloves_(marking) -> markings implication if approved.
EDIT: The tag implication gloves_(marking) -> arm_markings (forum #280036) has been rejected by @NotMeNotYou.
Updated by auto moderator