create implication flag_(object) (2764) -> flag (6557)
create implication flag_background (220) -> flag (6557)
create implication flag_print (669) -> flag (6557)
remove implication holding_flag (1607) -> flag (6557)
create implication holding_flag (1607) -> flag_(object) (2764)