(note TQROW_LISTFN)
(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)
  (inList B (ListFn @ROW)))

(query
  (inList B (ListFn A B C)))

(answer yes)