(note TQG3_DISJOINT)
(category general)

(instance Number3-1 NonnegativeRealNumber)

(disjoint NonnegativeRealNumber NegativeRealNumber)

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

(answer yes)