-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathidt1_4.metta
19 lines (15 loc) · 1.19 KB
/
idt1_4.metta
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
; (convert-to-metta-file idt1_4 $_115974 idt/idt1_4.pl idt/idt1_4.metta)
(= (classes (accept reject ask)) True)
(= (attributes (account cash employed)) True)
(= (example 1 accept ((= account bank) (= employed yes) (= cash 300))) True)
(= (example 2 accept ((= account bank) (= employed yes) (= cash 300))) True)
(= (example 3 accept ((= account bank) (= employed no) (= cash 300))) True)
(= (example 4 accept ((= account bank) (= employed no) (= cash 4000))) True)
(= (example 5 accept ((= account none) (= employed yes) (= cash 4000))) True)
(= (example 6 reject ((= account none) (= employed yes) (= cash 300))) True)
(= (example 7 reject ((= account none) (= employed no) (= cash 300))) True)
(= (example 8 reject ((= account none) (= employed no) (= cash 4000))) True)
(= (example 9 reject ((= account none) (= employed no) (= cash 4000))) True)
(= (example 10 ask ((= account others) (= employed no) (= cash 300))) True)
(= (example 11 ask ((= account others) (= employed no) (= cash 4000))) True)
(= (example 12 ask ((= account others) (= employed no) (= cash 300))) True)