Add definition and concept of predicate and clause