"t-norm" . . . "t-norm" .