[jboss-jira] [JBoss JIRA] Commented: (JBRULES-2942) Rules do not fire according to salience after multiple fact updates

Rules do not fire according to salience after multiple fact updates ------------------------------------------------------------------- Key: JBRULES-2942 URL: https://issues.jboss.org/browse/JBRULES-2942 Project: Drools Issue Type: Bug Security Level: Public(Everyone can see) Components: drools-core (expert) Affects Versions: 5.2.0.M1 Environment: Occurs with a local build done Febrary 10th, 2011 from git master / head. Reporter: Wolfgang Laun Assignee: Mark Proctor Priority: Critical Attachments: ex50.tgz "Print" rules with salience -100/-101 are activated as soon as corresponding facts are inserted. Other rules at salience 0 fire correctly, updating inserted facts. For a certain update pattern, Print rules suddenly fire prematurely, with existing activations of salience 0 firing later. A complete trace of all events: Create --- "Print customer" Fact ex50.Customer: 1 - Homer - 0 @0:1:18082301:1:1:DEFAULT Bindings: $c: 1 - Homer - 0 Insert ex50.Customer [0:1:18082301:1:1:DEFAULT] new: 1 - Homer - 0 Create --- "Print customer" Fact ex50.Customer: 2 - Bart - 0 @0:2:7189308:2:2:DEFAULT Bindings: $c: 2 - Bart - 0 Insert ex50.Customer [0:2:7189308:2:2:DEFAULT] new: 2 - Bart - 0 Create --- "Print customer" Fact ex50.Customer: 3 - Marge - 0 @0:3:1205211:3:3:DEFAULT Bindings: $c: 3 - Marge - 0 Insert ex50.Customer [0:3:1205211:3:3:DEFAULT] new: 3 - Marge - 0 Create --- "No rebate" Fact ex50.Customer: 2 - Bart - 0 @0:2:7189308:2:2:DEFAULT Fact ex50.Sale: 27 - 2 - 111 - 0 @0:4:22669032:27:4:DEFAULT Bindings: $cid: 2 $s: 27 - 2 - 111 - 0 $amount: 111 $c: 2 - Bart - 0 Create --- "Print sales" Fact ex50.Sale: 27 - 2 - 111 - 0 @0:4:22669032:27:4:DEFAULT Bindings: $s: 27 - 2 - 111 - 0 Insert ex50.Sale [0:4:22669032:27:4:DEFAULT] new: 27 - 2 - 111 - 0 Create --- "No rebate" Fact ex50.Customer: 2 - Bart - 0 @0:2:7189308:2:2:DEFAULT Fact ex50.Sale: 28 - 2 - 678 - 0 @0:5:21403224:28:5:DEFAULT Bindings: $cid: 2 $s: 28 - 2 - 678 - 0 $amount: 678 $c: 2 - Bart - 0 Create --- "Print sales" Fact ex50.Sale: 28 - 2 - 678 - 0 @0:5:21403224:28:5:DEFAULT Bindings: $s: 28 - 2 - 678 - 0 Insert ex50.Sale [0:5:21403224:28:5:DEFAULT] new: 28 - 2 - 678 - 0 Create --- "No rebate" Fact ex50.Customer: 2 - Bart - 0 @0:2:7189308:2:2:DEFAULT Fact ex50.Sale: 29 - 2 - 250 - 0 @0:6:20486975:29:6:DEFAULT Bindings: $cid: 2 $s: 29 - 2 - 250 - 0 $amount: 250 $c: 2 - Bart - 0 Create --- "Print sales" Fact ex50.Sale: 29 - 2 - 250 - 0 @0:6:20486975:29:6:DEFAULT Bindings: $s: 29 - 2 - 250 - 0 Insert ex50.Sale [0:6:20486975:29:6:DEFAULT] new: 29 - 2 - 250 - 0 Create --- "No rebate" Fact ex50.Customer: 2 - Bart - 0 @0:2:7189308:2:2:DEFAULT Fact ex50.Sale: 30 - 2 - 450 - 0 @0:7:22571162:30:7:DEFAULT Bindings: $cid: 2 $s: 30 - 2 - 450 - 0 $amount: 450 $c: 2 - Bart - 0 Create --- "Print sales" Fact ex50.Sale: 30 - 2 - 450 - 0 @0:7:22571162:30:7:DEFAULT Bindings: $s: 30 - 2 - 450 - 0 Insert ex50.Sale [0:7:22571162:30:7:DEFAULT] new: 30 - 2 - 450 - 0 Create --- "No rebate" Fact ex50.Customer: 3 - Marge - 0 @0:3:1205211:3:3:DEFAULT Fact ex50.Sale: 45 - 3 - 446 - 0 @0:8:20666938:45:8:DEFAULT Bindings: $cid: 3 $s: 45 - 3 - 446 - 0 $amount: 446 $c: 3 - Marge - 0 Create --- "Print sales" Fact ex50.Sale: 45 - 3 - 446 - 0 @0:8:20666938:45:8:DEFAULT Bindings: $s: 45 - 3 - 446 - 0 Insert ex50.Sale [0:8:20666938:45:8:DEFAULT] new: 45 - 3 - 446 - 0 Create --- "Rebate" Fact ex50.Customer: 3 - Marge - 0 @0:3:1205211:3:3:DEFAULT Fact ex50.Sale: 46 - 3 - 3280 - 0 @0:9:27309374:46:9:DEFAULT Bindings: $cid: 3 $s: 46 - 3 - 3280 - 0 $amount: 3280 $c: 3 - Marge - 0 Create --- "Print sales" Fact ex50.Sale: 46 - 3 - 3280 - 0 @0:9:27309374:46:9:DEFAULT Bindings: $s: 46 - 3 - 3280 - 0 Insert ex50.Sale [0:9:27309374:46:9:DEFAULT] new: 46 - 3 - 3280 - 0 Create --- "No rebate" Fact ex50.Customer: 3 - Marge - 0 @0:3:1205211:3:3:DEFAULT Fact ex50.Sale: 47 - 3 - 340 - 0 @0:10:31128398:47:10:DEFAULT Bindings: $cid: 3 $s: 47 - 3 - 340 - 0 $amount: 340 $c: 3 - Marge - 0 Create --- "Print sales" Fact ex50.Sale: 47 - 3 - 340 - 0 @0:10:31128398:47:10:DEFAULT Bindings: $s: 47 - 3 - 340 - 0 Insert ex50.Sale [0:10:31128398:47:10:DEFAULT] new: 47 - 3 - 340 - 0 Create --- "Rebate" Fact ex50.Customer: 3 - Marge - 0 @0:3:1205211:3:3:DEFAULT Fact ex50.Sale: 48 - 3 - 1250 - 0 @0:11:27841632:48:11:DEFAULT Bindings: $cid: 3 $s: 48 - 3 - 1250 - 0 $amount: 1250 $c: 3 - Marge - 0 Create --- "Print sales" Fact ex50.Sale: 48 - 3 - 1250 - 0 @0:11:27841632:48:11:DEFAULT Bindings: $s: 48 - 3 - 1250 - 0 Insert ex50.Sale [0:11:27841632:48:11:DEFAULT] new: 48 - 3 - 1250 - 0 firing... Fire/beg --- "Rebate" Fact ex50.Customer: 3 - Marge - 0 @0:3:1205211:3:3:DEFAULT Fact ex50.Sale: 48 - 3 - 1250 - 0 @0:11:27841632:48:11:DEFAULT Bindings: $cid: 3 $s: 48 - 3 - 1250 - 0 $amount: 1250 $c: 3 - Marge - 0 Modify ex50.Sale [0:11:27841632:48:12:DEFAULT] new: 48 - 3 - 1250 - 62 Modify ex50.Customer [0:3:1205211:3:13:DEFAULT] new: 3 - Marge - 1 REBATE: 48 - 3 - 1250 - 62 Fire/end --- "Rebate" Fact ex50.Customer: 3 - Marge - 1 @0:3:1205211:3:13:DEFAULT Fact ex50.Sale: 48 - 3 - 1250 - 62 @0:11:27841632:48:12:DEFAULT Bindings: $cid: 3 $s: 48 - 3 - 1250 - 62 $amount: 1250 $c: 3 - Marge - 1 Fire/beg --- "No rebate" Fact ex50.Customer: 3 - Marge - 1 @0:3:1205211:3:13:DEFAULT Fact ex50.Sale: 47 - 3 - 340 - 0 @0:10:31128398:47:10:DEFAULT Bindings: $cid: 3 $s: 47 - 3 - 340 - 0 $amount: 340 $c: 3 - Marge - 1 Modify ex50.Sale [0:10:31128398:47:14:DEFAULT] new: 47 - 3 - 340 - 0 Modify ex50.Customer [0:3:1205211:3:15:DEFAULT] new: 3 - Marge - 2 NO_REBATE: 47 - 3 - 340 - 0 Fire/end --- "No rebate" Fact ex50.Customer: 3 - Marge - 2 @0:3:1205211:3:15:DEFAULT Fact ex50.Sale: 47 - 3 - 340 - 0 @0:10:31128398:47:14:DEFAULT Bindings: $cid: 3 $s: 47 - 3 - 340 - 0 $amount: 340 $c: 3 - Marge - 2 Fire/beg --- "Rebate" Fact ex50.Customer: 3 - Marge - 2 @0:3:1205211:3:15:DEFAULT Fact ex50.Sale: 46 - 3 - 3280 - 0 @0:9:27309374:46:9:DEFAULT Bindings: $cid: 3 $s: 46 - 3 - 3280 - 0 $amount: 3280 $c: 3 - Marge - 2 Modify ex50.Sale [0:9:27309374:46:16:DEFAULT] new: 46 - 3 - 3280 - 164 Create --- "3rd sale" Fact ex50.Sale: 45 - 3 - 446 - 0 @0:8:20666938:45:8:DEFAULT Fact ex50.Customer: 3 - Marge - 3 @0:3:1205211:3:17:DEFAULT Bindings: $cid: 3 $s: 45 - 3 - 446 - 0 $c: 3 - Marge - 3 Create --- "3rd sale" Fact ex50.Sale: 48 - 3 - 1250 - 62 @0:11:27841632:48:12:DEFAULT Fact ex50.Customer: 3 - Marge - 3 @0:3:1205211:3:17:DEFAULT Bindings: $cid: 3 $s: 48 - 3 - 1250 - 62 $c: 3 - Marge - 3 Create --- "3rd sale" Fact ex50.Sale: 47 - 3 - 340 - 0 @0:10:31128398:47:14:DEFAULT Fact ex50.Customer: 3 - Marge - 3 @0:3:1205211:3:17:DEFAULT Bindings: $cid: 3 $s: 47 - 3 - 340 - 0 $c: 3 - Marge - 3 Create --- "3rd sale" Fact ex50.Sale: 46 - 3 - 3280 - 164 @0:9:27309374:46:16:DEFAULT Fact ex50.Customer: 3 - Marge - 3 @0:3:1205211:3:17:DEFAULT Bindings: $cid: 3 $s: 46 - 3 - 3280 - 164 $c: 3 - Marge - 3 Modify ex50.Customer [0:3:1205211:3:17:DEFAULT] new: 3 - Marge - 3 REBATE: 46 - 3 - 3280 - 164 Fire/end --- "Rebate" Fact ex50.Customer: 3 - Marge - 3 @0:3:1205211:3:17:DEFAULT Fact ex50.Sale: 46 - 3 - 3280 - 164 @0:9:27309374:46:16:DEFAULT Bindings: $cid: 3 $s: 46 - 3 - 3280 - 164 $amount: 3280 $c: 3 - Marge - 3 Fire/beg --- "3rd sale" Fact ex50.Sale: 46 - 3 - 3280 - 164 @0:9:27309374:46:16:DEFAULT Fact ex50.Customer: 3 - Marge - 3 @0:3:1205211:3:17:DEFAULT Bindings: $cid: 3 $s: 46 - 3 - 3280 - 164 $c: 3 - Marge - 3 Create --- "3rd sale" Fact ex50.Sale: 46 - 3 - 3280 - 174 @0:9:27309374:46:18:DEFAULT Fact ex50.Customer: 3 - Marge - 3 @0:3:1205211:3:17:DEFAULT Bindings: $cid: 3 $s: 46 - 3 - 3280 - 174 $c: 3 - Marge - 3 Modify ex50.Sale [0:9:27309374:46:18:DEFAULT] new: 46 - 3 - 3280 - 174 Cancel --- "3rd sale" (WM change) Fact ex50.Sale: 45 - 3 - 446 - 0 @0:8:20666938:45:8:DEFAULT Fact ex50.Customer: 3 - Marge - 3 @0:3:1205211:3:19:DEFAULT Bindings: $cid: 3 $s: 45 - 3 - 446 - 0 $c: 3 - Marge - 3 Cancel --- "3rd sale" (WM change) Fact ex50.Sale: 48 - 3 - 1250 - 62 @0:11:27841632:48:12:DEFAULT Fact ex50.Customer: 3 - Marge - 3 @0:3:1205211:3:19:DEFAULT Bindings: $cid: 3 $s: 48 - 3 - 1250 - 62 $c: 3 - Marge - 3 Cancel --- "3rd sale" (WM change) Fact ex50.Sale: 47 - 3 - 340 - 0 @0:10:31128398:47:14:DEFAULT Fact ex50.Customer: 3 - Marge - 3 @0:3:1205211:3:19:DEFAULT Bindings: $cid: 3 $s: 47 - 3 - 340 - 0 $c: 3 - Marge - 3 Cancel --- "3rd sale" (WM change) Fact ex50.Sale: 46 - 3 - 3280 - 174 @0:9:27309374:46:18:DEFAULT Fact ex50.Customer: 3 - Marge - 3 @0:3:1205211:3:19:DEFAULT Bindings: $cid: 3 $s: 46 - 3 - 3280 - 174 $c: 3 - Marge - 3 Modify ex50.Customer [0:3:1205211:3:19:DEFAULT] new: 3 - Marge - 3 3RD BUY: 46 - 3 - 3280 - 174 Fire/end --- "3rd sale" Fact ex50.Sale: 46 - 3 - 3280 - 174 @0:9:27309374:46:18:DEFAULT Fact ex50.Customer: 3 - Marge - 3 @0:3:1205211:3:19:DEFAULT Bindings: $cid: 3 $s: 46 - 3 - 3280 - 174 $c: 3 - Marge - 3 Fire/beg --- "No rebate" Fact ex50.Customer: 2 - Bart - 0 @0:2:7189308:2:2:DEFAULT Fact ex50.Sale: 30 - 2 - 450 - 0 @0:7:22571162:30:7:DEFAULT Bindings: $cid: 2 $s: 30 - 2 - 450 - 0 $amount: 450 $c: 2 - Bart - 0 Modify ex50.Sale [0:7:22571162:30:20:DEFAULT] new: 30 - 2 - 450 - 0 Modify ex50.Customer [0:2:7189308:2:21:DEFAULT] new: 2 - Bart - 1 NO_REBATE: 30 - 2 - 450 - 0 Fire/end --- "No rebate" Fact ex50.Customer: 2 - Bart - 1 @0:2:7189308:2:21:DEFAULT Fact ex50.Sale: 30 - 2 - 450 - 0 @0:7:22571162:30:20:DEFAULT Bindings: $cid: 2 $s: 30 - 2 - 450 - 0 $amount: 450 $c: 2 - Bart - 1 Fire/beg --- "No rebate" Fact ex50.Customer: 2 - Bart - 1 @0:2:7189308:2:21:DEFAULT Fact ex50.Sale: 27 - 2 - 111 - 0 @0:4:22669032:27:4:DEFAULT Bindings: $cid: 2 $s: 27 - 2 - 111 - 0 $amount: 111 $c: 2 - Bart - 1 Modify ex50.Sale [0:4:22669032:27:22:DEFAULT] new: 27 - 2 - 111 - 0 Modify ex50.Customer [0:2:7189308:2:23:DEFAULT] new: 2 - Bart - 2 NO_REBATE: 27 - 2 - 111 - 0 Fire/end --- "No rebate" Fact ex50.Customer: 2 - Bart - 2 @0:2:7189308:2:23:DEFAULT Fact ex50.Sale: 27 - 2 - 111 - 0 @0:4:22669032:27:22:DEFAULT Bindings: $cid: 2 $s: 27 - 2 - 111 - 0 $amount: 111 $c: 2 - Bart - 2 Fire/beg --- "Print customer" Fact ex50.Customer: 2 - Bart - 2 @0:2:7189308:2:23:DEFAULT Bindings: $c: 2 - Bart - 2 CUSTOMER: 2 - Bart - 2 Fire/end --- "Print customer" Fact ex50.Customer: 2 - Bart - 2 @0:2:7189308:2:23:DEFAULT Bindings: $c: 2 - Bart - 2 Fire/beg --- "Print customer" Fact ex50.Customer: 1 - Homer - 0 @0:1:18082301:1:1:DEFAULT Bindings: $c: 1 - Homer - 0 CUSTOMER: 1 - Homer - 0 Fire/end --- "Print customer" Fact ex50.Customer: 1 - Homer - 0 @0:1:18082301:1:1:DEFAULT Bindings: $c: 1 - Homer - 0 Fire/beg --- "Print sales" Fact ex50.Sale: 48 - 3 - 1250 - 62 @0:11:27841632:48:12:DEFAULT Bindings: $s: 48 - 3 - 1250 - 62 SALE: 48 - 3 - 1250 - 62 Fire/end --- "Print sales" Fact ex50.Sale: 48 - 3 - 1250 - 62 @0:11:27841632:48:12:DEFAULT Bindings: $s: 48 - 3 - 1250 - 62 Fire/beg --- "No rebate" Fact ex50.Customer: 2 - Bart - 2 @0:2:7189308:2:23:DEFAULT Fact ex50.Sale: 29 - 2 - 250 - 0 @0:6:20486975:29:6:DEFAULT Bindings: $cid: 2 $s: 29 - 2 - 250 - 0 $amount: 250 $c: 2 - Bart - 2 Modify ex50.Sale [0:6:20486975:29:24:DEFAULT] new: 29 - 2 - 250 - 0 Create --- "3rd sale" Fact ex50.Sale: 28 - 2 - 678 - 0 @0:5:21403224:28:5:DEFAULT Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:25:DEFAULT Bindings: $cid: 2 $s: 28 - 2 - 678 - 0 $c: 2 - Bart - 3 Create --- "3rd sale" Fact ex50.Sale: 30 - 2 - 450 - 0 @0:7:22571162:30:20:DEFAULT Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:25:DEFAULT Bindings: $cid: 2 $s: 30 - 2 - 450 - 0 $c: 2 - Bart - 3 Create --- "3rd sale" Fact ex50.Sale: 27 - 2 - 111 - 0 @0:4:22669032:27:22:DEFAULT Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:25:DEFAULT Bindings: $cid: 2 $s: 27 - 2 - 111 - 0 $c: 2 - Bart - 3 Create --- "3rd sale" Fact ex50.Sale: 29 - 2 - 250 - 0 @0:6:20486975:29:24:DEFAULT Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:25:DEFAULT Bindings: $cid: 2 $s: 29 - 2 - 250 - 0 $c: 2 - Bart - 3 Create --- "Print customer" Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:25:DEFAULT Bindings: $c: 2 - Bart - 3 Modify ex50.Customer [0:2:7189308:2:25:DEFAULT] new: 2 - Bart - 3 NO_REBATE: 29 - 2 - 250 - 0 Fire/end --- "No rebate" Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:25:DEFAULT Fact ex50.Sale: 29 - 2 - 250 - 0 @0:6:20486975:29:24:DEFAULT Bindings: $cid: 2 $s: 29 - 2 - 250 - 0 $amount: 250 $c: 2 - Bart - 3 Fire/beg --- "3rd sale" Fact ex50.Sale: 29 - 2 - 250 - 0 @0:6:20486975:29:24:DEFAULT Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:25:DEFAULT Bindings: $cid: 2 $s: 29 - 2 - 250 - 0 $c: 2 - Bart - 3 Create --- "3rd sale" Fact ex50.Sale: 29 - 2 - 250 - 10 @0:6:20486975:29:26:DEFAULT Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:25:DEFAULT Bindings: $cid: 2 $s: 29 - 2 - 250 - 10 $c: 2 - Bart - 3 Modify ex50.Sale [0:6:20486975:29:26:DEFAULT] new: 29 - 2 - 250 - 10 Cancel --- "3rd sale" (WM change) Fact ex50.Sale: 28 - 2 - 678 - 0 @0:5:21403224:28:5:DEFAULT Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:27:DEFAULT Bindings: $cid: 2 $s: 28 - 2 - 678 - 0 $c: 2 - Bart - 3 Cancel --- "3rd sale" (WM change) Fact ex50.Sale: 30 - 2 - 450 - 0 @0:7:22571162:30:20:DEFAULT Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:27:DEFAULT Bindings: $cid: 2 $s: 30 - 2 - 450 - 0 $c: 2 - Bart - 3 Cancel --- "3rd sale" (WM change) Fact ex50.Sale: 27 - 2 - 111 - 0 @0:4:22669032:27:22:DEFAULT Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:27:DEFAULT Bindings: $cid: 2 $s: 27 - 2 - 111 - 0 $c: 2 - Bart - 3 Cancel --- "3rd sale" (WM change) Fact ex50.Sale: 29 - 2 - 250 - 10 @0:6:20486975:29:26:DEFAULT Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:27:DEFAULT Bindings: $cid: 2 $s: 29 - 2 - 250 - 10 $c: 2 - Bart - 3 Modify ex50.Customer [0:2:7189308:2:27:DEFAULT] new: 2 - Bart - 3 3RD BUY: 29 - 2 - 250 - 10 Fire/end --- "3rd sale" Fact ex50.Sale: 29 - 2 - 250 - 10 @0:6:20486975:29:26:DEFAULT Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:27:DEFAULT Bindings: $cid: 2 $s: 29 - 2 - 250 - 10 $c: 2 - Bart - 3 Fire/beg --- "No rebate" Fact ex50.Customer: 2 - Bart - 3 @0:2:7189308:2:27:DEFAULT Fact ex50.Sale: 28 - 2 - 678 - 0 @0:5:21403224:28:5:DEFAULT Bindings: $cid: 2 $s: 28 - 2 - 678 - 0 $amount: 678 $c: 2 - Bart - 3 Modify ex50.Sale [0:5:21403224:28:28:DEFAULT] new: 28 - 2 - 678 - 0 Create --- "after 3rd sale" Fact ex50.Customer: 2 - Bart - 4 @0:2:7189308:2:29:DEFAULT Bindings: $c: 2 - Bart - 4 Modify ex50.Customer [0:2:7189308:2:29:DEFAULT] new: 2 - Bart - 4 NO_REBATE: 28 - 2 - 678 - 0 Fire/end --- "No rebate" Fact ex50.Customer: 2 - Bart - 4 @0:2:7189308:2:29:DEFAULT Fact ex50.Sale: 28 - 2 - 678 - 0 @0:5:21403224:28:28:DEFAULT Bindings: $cid: 2 $s: 28 - 2 - 678 - 0 $amount: 678 $c: 2 - Bart - 4 Fire/beg --- "after 3rd sale" Fact ex50.Customer: 2 - Bart - 4 @0:2:7189308:2:29:DEFAULT Bindings: $c: 2 - Bart - 4 Modify ex50.Customer [0:2:7189308:2:30:DEFAULT] new: 2 - Bart - 4 Fire/end --- "after 3rd sale" Fact ex50.Customer: 2 - Bart - 4 @0:2:7189308:2:30:DEFAULT Bindings: $c: 2 - Bart - 4 Fire/beg --- "Print customer" Fact ex50.Customer: 2 - Bart - 4 @0:2:7189308:2:30:DEFAULT Bindings: $c: 2 - Bart - 4 CUSTOMER: 2 - Bart - 4 Fire/end --- "Print customer" Fact ex50.Customer: 2 - Bart - 4 @0:2:7189308:2:30:DEFAULT Bindings: $c: 2 - Bart - 4 Fire/beg --- "Print sales" Fact ex50.Sale: 47 - 3 - 340 - 0 @0:10:31128398:47:14:DEFAULT Bindings: $s: 47 - 3 - 340 - 0 SALE: 47 - 3 - 340 - 0 Fire/end --- "Print sales" Fact ex50.Sale: 47 - 3 - 340 - 0 @0:10:31128398:47:14:DEFAULT Bindings: $s: 47 - 3 - 340 - 0 Fire/beg --- "No rebate" Fact ex50.Customer: 3 - Marge - 3 @0:3:1205211:3:19:DEFAULT Fact ex50.Sale: 45 - 3 - 446 - 0 @0:8:20666938:45:8:DEFAULT Bindings: $cid: 3 $s: 45 - 3 - 446 - 0 $amount: 446 $c: 3 - Marge - 3 Modify ex50.Sale [0:8:20666938:45:31:DEFAULT] new: 45 - 3 - 446 - 0 Create --- "after 3rd sale" Fact ex50.Customer: 3 - Marge - 4 @0:3:1205211:3:32:DEFAULT Bindings: $c: 3 - Marge - 4 Modify ex50.Customer [0:3:1205211:3:32:DEFAULT] new: 3 - Marge - 4 NO_REBATE: 45 - 3 - 446 - 0 Fire/end --- "No rebate" Fact ex50.Customer: 3 - Marge - 4 @0:3:1205211:3:32:DEFAULT Fact ex50.Sale: 45 - 3 - 446 - 0 @0:8:20666938:45:31:DEFAULT Bindings: $cid: 3 $s: 45 - 3 - 446 - 0 $amount: 446 $c: 3 - Marge - 4 Fire/beg --- "after 3rd sale" Fact ex50.Customer: 3 - Marge - 4 @0:3:1205211:3:32:DEFAULT Bindings: $c: 3 - Marge - 4 Modify ex50.Customer [0:3:1205211:3:33:DEFAULT] new: 3 - Marge - 4 Fire/end --- "after 3rd sale" Fact ex50.Customer: 3 - Marge - 4 @0:3:1205211:3:33:DEFAULT Bindings: $c: 3 - Marge - 4 Fire/beg --- "Print customer" Fact ex50.Customer: 3 - Marge - 4 @0:3:1205211:3:33:DEFAULT Bindings: $c: 3 - Marge - 4 CUSTOMER: 3 - Marge - 4 Fire/end --- "Print customer" Fact ex50.Customer: 3 - Marge - 4 @0:3:1205211:3:33:DEFAULT Bindings: $c: 3 - Marge - 4 Fire/beg --- "Print sales" Fact ex50.Sale: 46 - 3 - 3280 - 174 @0:9:27309374:46:18:DEFAULT Bindings: $s: 46 - 3 - 3280 - 174 SALE: 46 - 3 - 3280 - 174 Fire/end --- "Print sales" Fact ex50.Sale: 46 - 3 - 3280 - 174 @0:9:27309374:46:18:DEFAULT Bindings: $s: 46 - 3 - 3280 - 174 Fire/beg --- "Print sales" Fact ex50.Sale: 45 - 3 - 446 - 0 @0:8:20666938:45:31:DEFAULT Bindings: $s: 45 - 3 - 446 - 0 SALE: 45 - 3 - 446 - 0 Fire/end --- "Print sales" Fact ex50.Sale: 45 - 3 - 446 - 0 @0:8:20666938:45:31:DEFAULT Bindings: $s: 45 - 3 - 446 - 0 Fire/beg --- "Print sales" Fact ex50.Sale: 30 - 2 - 450 - 0 @0:7:22571162:30:20:DEFAULT Bindings: $s: 30 - 2 - 450 - 0 SALE: 30 - 2 - 450 - 0 Fire/end --- "Print sales" Fact ex50.Sale: 30 - 2 - 450 - 0 @0:7:22571162:30:20:DEFAULT Bindings: $s: 30 - 2 - 450 - 0 Fire/beg --- "Print sales" Fact ex50.Sale: 29 - 2 - 250 - 10 @0:6:20486975:29:26:DEFAULT Bindings: $s: 29 - 2 - 250 - 10 SALE: 29 - 2 - 250 - 10 Fire/end --- "Print sales" Fact ex50.Sale: 29 - 2 - 250 - 10 @0:6:20486975:29:26:DEFAULT Bindings: $s: 29 - 2 - 250 - 10 Fire/beg --- "Print sales" Fact ex50.Sale: 28 - 2 - 678 - 0 @0:5:21403224:28:28:DEFAULT Bindings: $s: 28 - 2 - 678 - 0 SALE: 28 - 2 - 678 - 0 Fire/end --- "Print sales" Fact ex50.Sale: 28 - 2 - 678 - 0 @0:5:21403224:28:28:DEFAULT Bindings: $s: 28 - 2 - 678 - 0 Fire/beg --- "Print sales" Fact ex50.Sale: 27 - 2 - 111 - 0 @0:4:22669032:27:22:DEFAULT Bindings: $s: 27 - 2 - 111 - 0 SALE: 27 - 2 - 111 - 0 Fire/end --- "Print sales" Fact ex50.Sale: 27 - 2 - 111 - 0 @0:4:22669032:27:22:DEFAULT Bindings: $s: 27 - 2 - 111 - 0 done!