dType: The head of a rule representing a PPI type;