in which military conflict were juan antonio lavalleja and fructuoso rivera commanders ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_commander dbr_Juan_Antonio_Lavalleja sep_dot var_uri dbo_commander dbr_Fructuoso_Rivera sep_dot var_uri a dbo_MilitaryConflict brack_close