You’re pretty much right on. The house batteries are basically for most of the interior lights (but not all), the furnace fan, water pump, toilet pump (if its a recirculating toilet), the fan over the stove, and the rear porch light. House batteries won’t run an AC unit.
I’d love it if you would scan in any docs etc. that you have!