 ;; TODO: tests ! 
 
 ;;;;; Subsumption
-;; TODO: propagate subsumption links
+;; TODO: Figure out why subsumption isn't more helpful.
+;; TODO: children wait on one (or more) subsumption parents.
 ;; TODO: wait on subsumption parent(s)?
 
 ;;;;; Pessimistic

    (when-not (.containsKey subsuming-sp-set subsuming-sp)
      (.put subsuming-sp-set subsuming-sp true)
      (schedule-subsumption! (sp-ts subsuming-sp) (sp-ts s))
      (when *propagate-subusmption*
        #_ (add-child-watcher! )) ;; TODO!!

      ))
  
  (refine-input    [s ni] (let [ret (ri-fn s ni)] (util/assert-is (= nm (sp-name ret))) ret)))


      (schedule-increase! (sp-ts s)))    
    (publish! child-ps c))

  (add-all-child-watcher! [s w] (subscribe! all-child-ps w))

    
  (subsuming-sps [s] (keys subsuming-sp-set))
