copyrights on works have expired

Deductions

• copyright status of set is for example copyrights on works have expired ⇐ (copyrights on works have expired is a copyright status of set), (is a is inverse of is for example)
• copyright status is for example copyrights on works have expired ⇐ (copyrights on works have expired is a copyright status), (is a is inverse of is for example)
• copyrights on works have expired is a copyright status ⇐ (copyright status of set is subclass of copyright status), (copyrights on works have expired is a copyright status of set)