create implication horn_problems (14) -> furry_problems (120)
create implication horn_problems (14) -> horn (782176)
mass update knotting_problems -> knot_problems
create implication knot_problems (0) -> furry_problems (120)
create implication knot_problems (0) -> knot (257825)