Direct Relevance

Intuition

• The ratio of symbols shared to symbols used

Definition

• Let sym(F) be the set of predicates/functors in F
• The direct relevance between Fa and Fc is

  |sym(Fa) ∩ sym(Fc)|
  --------------------
  |sym(Fa) ∪ sym(Fc)|