A Hybrid Extensional / Intensional System forLearning Multiple Predicate Learning andNormal Logic