Subjective synonymy
¥When DA(A, C) ¨ p/2 & DA(B, C) ¨ p/2
then SynS(A, B, C) ¨ DA(A,B)
¥
¥SynS(A, B, 0) = DA(A, B)
¥SynS(A, A, C) = 0
¥SynS(A, B, B) = DA(A-AB, 0)  = p/2
¥
¥DA(tit, crow) = 0.32
¥SynS(tit, crow, zoology) = 0.54
¥SynS(tit, crow, bird) = 1.07
¥SynS(tit, crow, passerine) = 1.37