Symbol: Pred1Term