text: <control><space>. If there is only one possible completion for the string then Protégé will fill in the 
  appropriate name. If there are multiple possible completions Protégé will create a menu with all the 
  possible completions and allow you to select the one you want. 
  
  5. Click on OK to enter the new restriction. 
  
  6. Repeat steps 1-5 only this time add the restriction hasTopping some TomatoTopping. Remember to use 
  <control><space> to save time typing. Synchronize the reasoner to make sure things are consistent. Your 
  UI should now look similar to figure 4.18. 
  
  __ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ____ ___