Total and partial predicates and the weak and strong interpretations · Study