  This has some somewhat counterintuitive effects. In the car-starting scenario, Gelfond and Lifschitz’ language  B  indeed yields the desired conclusion that the car will start when there is one dynamic law,