The set of user generated categories for each e 2 E ⇤ is denoted as Cat(e).
we need to design a learning algorithm F based on R ⇤ to predict whether there is an is-a relation between e and c where e 2 E ⇤ and c 2 Cat(e).