In

Model: <model> Attrs: <attributes> | <Formats> _______________________

the Formats section should be filled by a term constructed from various special operators that explain how to display an instance of the model.
doc for display form models

[text] print the text-string. (Insert with `(c-t)'.)

<[?]:[prompt]:<child attributes>> displays a term or text-string matching a display schema variable in the model. doc for display form dfchild

<Formats><Formats> do what the first part says, then the second. (Insert with `(c-(space))'.) doc for term sequences

<disp>LINEAR declares "linear" mode for all the enclosed format commands, which prohibits breaking. Elision may result. (Insert with `linear'.)
{[hard]} causes a break to new line to occur unless we are in "linear" display mode at this point in display. The enclosed text-string, spaces usually, is printed if there is no break. (Insert with `hard'.)

<disp> MARGIN sets the left margin for any breaks caused by breaking commands it governs, i.e., breaking commands it encloses, but which are not enclosed by an innermore occurrence. (Insert with `{marginindent}'.)

[[break]] may cause a break, depending on whether it's needed to avoid elision, and on what <disp>CONSIS govern it. (Insert with `break'.)

<disp>CONSIS is used to indicate that the [[break]] format commands it governs my break if need be to avoid elision, but that all those it governs will break if any break is produce by any of the format commands it encloses, i.e., it indicates "consistent" breaking. (Insert with `{softconsis}'.)

doc for display form edit IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html