Place ribs in the pressure cooker. Add onion, garlic, seasoningsand beer. Cover and turn Power Level Control to Max. When pressurehas been reached , adjust Power Level Control to #2 and cook 30minutes. Release pressure gradually.

Ladle out all but about 1/2 cup of the beer and drppings. Removeand discard bay leaf and clove. Combine barbecue sauce, mustardand sugar and pour over ribs. Cover and turn power Level Controlto max. When pressure has been reached, adjust Power Level Controlto #2 and cook 10 minutes. Release pressure gradually.