The identifier of the rule a Prolog clause stands for: from its position in the theory, the same at each conversion