lifted compilation (952 results)