semantics of the program
 
Longsleeve Shirts