Index - N
| Neg | |
| 1 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.FOL.Formula, Data.FOL |
| 3 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| newDRSRefs | Data.DRS.Variables, Data.DRS |
| newPDRSRefs | Data.PDRS.Variables, Data.PDRS |
| newPRefs | Data.PDRS.Variables, Data.PDRS |
| newPVars | Data.PDRS.Variables, Data.PDRS |