cooker, place beans, chopped onion, slivered
garlic, salt, and pepper.
Add enough water to cover beans by about 2
Place on lid.
Bring to high pressure, reduce to steady
medium pressure, and time for 25 minutes.
Allow pressure to come down naturally,
which will take about 10 minutes.
Drain beans if any water remains. (Or cook
beans at least 2 hours in a conventional
manner) Cook asparagus, covered, for 4
minutes in microwave.
To serve, place beans in serving bowls,
add asparagus, drizzle with olive oil,
sprinkle with lemon or vinegar and basil
leaves, adding salt and pepper to taste.