# SoggyLink

From OpenCog

Given a predicate P over domain D, SoggyLink turns P into a soggy predicate over domain powerset(D), where Soggy(P) maps X, a subset of D, to the average TVs of P(x) for all x in X.

## Semantics

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.