(Subclass-Partition Miscellaneous-Publication (Setof Technical-Manual Computer-Program Artwork Cartographic-Map Multimedia-Document)) (=> (Artwork ?X) (Value-Cardinality ?X Doc.Author 1))