and { only { filter_eq { all_rows ; first elected ; 1801 } } ; eq { hop { filter_eq { all_rows ; first elected ; 1801 } ; incumbent } ; john smith } } = true
select the rows whose first elected record is equal to 1801 . there is only one such row in the table . the incumbent record of this unqiue row is john smith .