Multiple Predicate Learning with RTL