(note TQG3) (instance Foo-Number NonnegativeRealNumber) (query (not (instance Foo-Number NegativeRealNumber))) (answer Yes)