assert databaseconstraint,databaseconstraint(
	tuple(constraintlabel(R47 - Non-Salesreps cannot earn more than the employee they report to.)
	      errorcode(115147)
	      sp_expression(restrict\(join\(emp,project\(rename\(emp,\(nr_emp_mgr,mgrmgr,nr_emp,nr_emp_mgr,am_sal_mthly,am_sal_mthly_mgr\)\),\(nr_emp_mgr,am_sal_mthly_mgr\)\)\),and\(not\(eq\(nm_job,name\(salesrep\)\)\),gt\(am_sal_mthly,am_sal_mthly_mgr\)\)\) ))
)

assert constraintmessagetext,constraintmessagetext(
tuple(errorcode(115147) constraintmessagetext(Employee §NR_EMP§ earns more than his manager §NR_EMP_MGR§.))
)