Of ($Y,SZ) (tv2) ANDLink tv3 = µpo7(tvl,tv2) PartOf($X,$Z) (tv3) (35.14) where µpoi is defined in Equation 35.13 but extended over the domain of PLN DF Truth Value instead of P(Z) distributional fuzzy value. Note that Part0f(SX,SY) (tv) is a shorthand for EvaluationLink (tv) PartOf ListLink (35.15) $71 $Y