(note TQG14) (instance Atom1 Atom) (instance Nucleus1 AtomicNucleus) (component Nucleus1 Atom1) (query (not (exists (?NUCLEUS) (and (instance ?NUCLEUS AtomicNucleus) (component ?NUCLEUS Atom1) (not (equal ?NUCLEUS Nucleus1)))))) (answer Yes)