Their $4,000 IRA contributions are fully deductible.
IRA contributed a $4000 deductible 
mnli hypothesis: IRA contributed a $4000 deductible  premise: Their $4,000 IRA contributions are fully deductible.