Lifted Logic Draft2023.1