added missing predicates to documentation