in what battles did president juan antonio lavalleja participate ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_commander dbr_Juan_Antonio_Lavalleja sep_dot var_uri a dbo_MilitaryConflict brack_close