lamivudine: a nucleoside reverse transcriptase inhibitor that is very effective in combination with zidovudine in treating AIDS and HIV
predicate: (logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula