(note TQG14)  ;; boolean version

(instance Atom14-1 Atom)

(instance Nucleus14-1 AtomicNucleus)

(component Nucleus14-1 Atom14-1)

(query
  (not
    (exists (?NUCLEUS)
      (and
        (instance ?NUCLEUS AtomicNucleus)
        (component ?NUCLEUS Atom14-1)
        (not
          (equal ?NUCLEUS Nucleus14-1))))))

(answer yes)