Another way to define the semantics of SoggyLink is via the following equivalence
EvaluationLink <TV> SoggyLink P ListLink A1 ... An
is equivalent to
SubsetLink <TV> ListLink A1 ... An SatisfyingSetLink P
where P is a predicate, A1 to An are concepts, and ListLink is the Cartesian product.