Find!
v1=jt1=s1 is SIV [Simian immunodeficiency virus] of jt2.
From smani, jinkytoldu'e, vidru. s2, v2 and v3 subsumed.