(note TQROW_WITH_DOMAIN)
(category general)

(instance testRowPred Predicate)
(instance testRowPred VariableArityRelation)
(domain testRowPred 1 Entity)
(domain testRowPred 2 Entity)
(domain testRowPred 3 Entity)

(instance A Entity)
(instance B Entity)
(instance C Entity)

(testRowPred A B C)

(=>
  (testRowPred @ROW)
  (equal (ListFn @ROW) TestList))

(query
  (equal (ListFn A B C) TestList))

(answer yes)