 We can now come back to the Yale Shooting Problem in discourse (33). From the completion of the logic program ((34))\(\wedge \ldots \wedge\)((45)) it follows (non-monotonically) that HoldsAt(Dead, \(T_4)\). Enriching the program with further information and computing the new completion, however, could clearly lead to cancellation of this inference. 