sub preds in RAppTy