A,B:MsgAForm, ltg:(IdLnkIdType), i:Id.
  (ltg  ma-outlinks(A  B;i))
  
  (ltg  ma-outlinks(A;i))  (ltg  ma-outlinks(B;i))

1

1. A : MsgAForm 2. B : MsgAForm 3. ltg : IdLnkIdType 4. i : Id   (ltg  ma-outlinks(A  B;i))      (ltg  ma-outlinks(A;i))  (ltg  ma-outlinks(B;i))

2 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html