Lifted Logic Texans2