The rule description does not cover the semantics of the type system. Instead, it should explain how information (via variables) flows from the positive literals in the body to the head.