(=> (Doc.Series-Editor $X $Y) (Person $Y)) (=> (Doc.Series-Editor ?Doc ?Editor) (Or (Book ?Doc) (Proceedings ?Doc))) (= Ref.Series-Editor (Compose Agent.Name Doc.Series-Editor Ref.Document))