Furthermore, φ(t) and ψ(s) are binary vectors indicating whether a KB symbol/word is present or absent in t/s.
f (t) and g(s) are the embeddings of t and s and S t/s scores their similarity by taking their dot product.