(note TQG3_DIRECT)
(category general)

(instance Number3-1 NonnegativeRealNumber)

(=>
  (instance ?N NonnegativeRealNumber)
  (not
    (instance ?N NegativeRealNumber)))

(query
  (not
    (instance Number3-1 NegativeRealNumber)))

(answer yes)