documents/userman/umsdebug.tex

291 It might be missing if the displayed goal is not the current position
1226 from its current position. This is done by typing the uparrow key. This key
1326 If the leftward movement specified would move the argument position before the
1344 the current subterm stopped at leftmost position---the first argument.
1365 If the rightward movement specified would move the argument position beyond
1381 argument, thus trying to move to the right (by the default 1 position in
1388 position. This command is only valid if the current subterm is a compound
1390 argument, so there is a choice of which argument position to move down to.
1393 the argument position selected is the argument position of the current
1410 second argument position when the command was issue.
1412 However, there is not always an argument position for the current
1415 position to move down into is the first argument:
1427 thus the argument position chosen for moving down is first argument, with
1431 If the argument position to move into is beyond the range of the current
1448 movement will stop as soon as the argument position to move down to goes
1454 it is possible to move into the $N^{th}$ position in one command:
1469 list---the second argument position. In order to do this with the down-arrow
1470 command, we must be at the second argument position first, and this is
1516 argument position (or attribute, in the case of attributed variables) is
1517 selected at each level. The user can view the position the current subterm
1537 Extra information (in addition to the numeric argument position) will be
1569 the selected argument position (2, shown in brackets) is \notation{country},
1570 and the structure name is \notation{capital}. For the ``position'' of the
1572 the path position is shown as \notation{attr: suspend}.
1649 Printed structures 1 and 2 in the above example are at the same position