how many people work in the united states district court for the southern district of ohio ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_uri dbp_office dbr_United_States_District_Court_for_the_Southern_District_of_Ohio brack_close