(Exhaustive-Subclass-Partition Thesis (Setof Masters-Thesis Doctoral-Thesis)) (Inherited-Facet-Value Slot-Value-Type Doctoral-Thesis-Reference Ref.Document Doctoral-Thesis) (=> (Doctoral-Thesis-Reference ?Ref) (And (Value-Type ?Ref Ref.Document Doctoral-Thesis) (Has-Value ?Ref Ref.Type-Of-Work Doctoral Thesis)))