Fact base | The rule base |
1) Event (interaction) 2) Symbol (color) 3) Gesture (repetitive, i) 4) Message (error, 0) 5) Form () 6) Menu (object, x) 7) Fund (x) | R1: (Symbol (color), Event (interaction), Message (Error, 0)) → Form (1); R2: (Menu (object, 1), Gesture (repetitive, 0)) → Fund (object) |