IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
qadd functionality11 1. p : 2. q : 3. r : 4. s : p.numq.den = q.nump.den
r.nums.den = s.numr.den p +q r.numq +q s.den = q +q s.nump +q r.den
By:
OnHyps [4;3;2;1] RatHD THEN RW (SweepDnC qnd_evalC) 0