create alias forwards_arm_support (0) -> forward_arm_support (1440)
create alias backwards_arm_support (0) -> backward_arm_support (896)
create implication forward_arm_support (1440) -> arm_support (17748)
create implication backward_arm_support (896) -> arm_support (17748)