begin semantic for lift