(note TQROW_FIXED_ARITY)
(category general)

(instance testRowPred Predicate)

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

(testRowPred A B C)

(=>
  (testRowPred ?X ?Y ?Z)
  (equal (ListFn ?X ?Y ?Z) TestList))

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

(answer yes)