The following functions provide ancillary capabilities for the deffacts construct. 12.10.1 Getting the List of Deffacts