NGOMSL Analysis of the Navigation Bar

Method to accomplish goal of going back in the presentation

Step 1 Click "Back" button as many times as necessary
Step 2 Report goal accomplished

Primitive Operators
Step 1: M+(PK*n) (n is the number pages to go back)
Step 2: M

Method to accomplish goal of going back in the presentation

Step 1 Click "Return" button as many times as necessary
Step 2 Report goal accomplished

Primitive Operators
Step 1: M+(PK*n)
Step 2: M

Method to accomplish goal of going back in the presentation

Step 1 Click "Go" button
Step 2 Select and go to the the desired page by double-clicking on its name in a window that pops up
Step 3 Close the pop-up window by clicking on the close button in the upper right corner
Step 4 Report goal accomplished

Primitive Operators:
Step 1: MPK
Step 2: MP2K
Step 3: PK
Step 4: M

---

Method to accomplish goal of going forward in the presentation

Step 1 Click "Next" button as many times as necessary
Step 2 Report goal accomplished

Primitive Operators:
Step 1: MP+MK*n
Step 2: M

Method to accomplish goal of going forward in the presentation

Step 1 Click "Go" button
Step 2 Select and go to the the desired page by double-clicking on its name in a window that pops up
Step 3 Close the pop-up window by clicking on the close button in the upper right corner
Step 4 Report goal accomplished

Primitive Operators:
Step 1: MPK
Step 2: MP2K
Step 3: PK
Step 4: M

---

Method to accomplish goal of finding the needed point in the presentation

Step 1 Click "Index" button
Step 2 Click on the name of the appropriate section in the main window
Step 3 Clicking "Next" button as many times as necessary, navigate to the needed page
Step 4 Report goal accomplished

Primitive Operators:
Step 1: MPK
Step 2: MPK
Step 3: MP+ MK*n
Step 4: M

Method to accomplish goal of finding the needed point in the presentation

Step 1 Click "Search" button
Step 2 Type in search term(s) in pop-up window
Step 3 Hit "Enter"
Step 4 Double-click on the page title
Step 5 Find search terms highlighted in the main window
Step 6 Close the pop-up window by clicking on the close button in the upper right corner
Step 7 Report goal accomplished

Primitive Operators:
Step 1: MPK
Step 2: MP+K*n
Step 3: HK
Step 4: MHP2K
Step 5: M
Step 6: PK
Step 7: M

Method to accomplish goal of finding the needed point in the presentation

Step 1 Click "Search" button
Step 2 Type in search term(s) in pop-up window
Step 3 Click on the "Find" button
Step 4 Click on the page title
Step 5 Click "Go to page" button
Step 6 Find search terms highlighted in the main window
Step 7 Close the pop-up window by clicking on the close button in the upper right corner
Step 8 Report goal accomplished

Primitive Operators:
Step 1: MPK
Step 2: MP+MK*n
Step 3: PK
Step 4: MPK
Step 5: PK
Step 6: M
Step 7: PK
Step 8: M

---

Method to accomplish goal of paging through a particular part of the presentation

Step 1 Click "More" button
Step 2 Read the next or skip to the next page hitting "More"
Step 3 Repeat step 2 as many times as necessary
Step 4 Report goal accomplished

Primitive Operators:
Step 1: MPK
Step 2: M+MK*n
Step 3: already described in step 2
Step 4: M

Method to accomplish goal of paging through a particular part of the presentation

Step 1 Click "Return" button
Step 2 Click "Next" button
Step 3 Click "More" button as many times as necessary
Step 4 Report goal accomplished

Primitive Operators:
Step 1: MPK
Step 2: PKM
Step 3: MPK*n
Step 4: M

---

Method to accomplish goal of quitting the presentation

Step 1 Press "Quit" button
Step 2 Report goal accomplished

Primitive Operators:
Step 1: MPK
Step 2: M

Method to accomplish goal of quitting the presentation
Step 1 Close the window by clicking on the close button in the upper right corner
Step 2 Report goal accomplished

Primitive Operators:
Step 1: MPK
Step 2: M

Method to accomplish goal of quitting the presentation
Step 1 Press and hold "Alt" key
Step 2 Hit "F" key
Step 3 Hit "Enter" key
Step 4 Report goal accomplished

Primitive Operators:
Step 1: MK
Step 2: K
Step 3: K
Step 4: M

Method to accomplish goal of quitting the presentation
Step 1 Press and hold "Ctrl" key
Step 2 Hit "Q" key
Step 3 Report goal accomplished

Primitive Operators:
Step 1: MK
Step 2: K
Step 3: M