The second (cos (N 1 , N 2 )) applies a threshold (determined on the test set) to the cosine similarity of the pair.
a relation of feature inclusion between the narrower antecedent and broader consequent terms captures both AN |= N and N 1 |= N 2 entailment.