which office holder's military branch is philippine revolutionary army and vice president is mariano trias ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_militaryBranch dbr_Philippine_Revolutionary_Army sep_dot var_uri dbo_vicePresident dbr_Mariano_Trias sep_dot var_uri a dbo_OfficeHolder brack_close