PPDEFFACTS
Displays the text of a given deffacts.
(ppdeffacts <
deffacts-name
>)