create implication horn_problems (13) -> furry_problems (110)
create implication horn_problems (13) -> horn (735892)
mass update knotting_problems -> knot_problems
create implication knot_problems (0) -> furry_problems (110)
create implication knot_problems (0) -> knot (239188)