Here is the handout from yesterday’s (Th 4/4) class on incorporating individual variables and assignment functions into PredL:

Individual Variables & Assignment Functions in PredL