Postgres sql problem and assertion keyword gives error

Question

Consider the following schema.

• Emp (eid: integer, ename: string, age: integer, salary: real)
• Works (eid: integer, did: integer, pct_time: integer)