Add all ingredients (except the beef) to the Instant Pot liner.
Give the ingredients in the liner a stir.
Add the quartered beef to the Instant Pot.
Secure the lid, and set to sealing.
Use the manual setting to set the pot to high pressure for 60 minutes.
When the pressure cycle is over, quick release the pressure.
Shred the beef with forks. If the beef is tough, and not shredding at this point, it is undercooked. Put the lid back on and add 7 minutes of pressure cook time and try again.
Notes
This recipe will work as written in the 8 quart model. The 3 quart model will be too small unless you half the recipe. Note: nutrition information is only an estimate.