create alias forwards_arm_support (0) -> forward_arm_support (1410)
create alias backwards_arm_support (0) -> backward_arm_support (891)
create implication forward_arm_support (1410) -> arm_support (17613)
create implication backward_arm_support (891) -> arm_support (17613)