Formally, given an NL triple ( , , ) , ∈ ( ), ∈ ( ) , we have to predict a KB predicate such that ( , , ) is the corresponding fact in KB test set.
we generate NL test triples Λ and ground truth Λ as follows.