A dyadic relation R's holding between a and b is fully captured by the relational fact [R(a,b)], who...