<title>auto [depth=<int>] [width=<int>] [paramodulation] [full]</title>
<para><userinput>auto depth=d width=w paramodulation full</userinput></para>
<para>
<title>auto [depth=<int>] [width=<int>] [paramodulation] [full]</title>
<para><userinput>auto depth=d width=w paramodulation full</userinput></para>
<para>