https://9lib.org/document/y8gxe0m4-optimization-of-logical-rules-derived-by-neural-procedures.html