create implication horn_problems (14) -> furry_problems (124)
create implication horn_problems (14) -> horn (814258)
mass update knotting_problems -> knot_problems
create implication knot_problems (0) -> furry_problems (124)
create implication knot_problems (0) -> knot (269187)