(Subclass-Partition Document
(Setof Book
Periodical-Publication
Proceedings
Thesis
Technical-Report
Miscellaneous-Publication))
(Inherited-Facet-Value Slot-Value-Type
Article-Reference
Ref.Document
Periodical-Publication)
(=> (Article-Reference ?Ref)
(And (Value-Type ?Ref Ref.Document Periodical-Publication)
(Minimum-Value-Cardinality ?Ref Ref.Author 1)
(Value-Cardinality ?Ref Ref.Title 1)
(Value-Cardinality ?Ref Ref.Year 1)
(Value-Cardinality ?Ref Ref.Periodical 1)
(Same-Values ?Ref
Ref.Periodical
(Compose Doc.Title Ref.Document))
(Same-Values ?Ref Ref.Secondary-Title Ref.Periodical)))