-
Notifications
You must be signed in to change notification settings - Fork 7
/
testingRuleFile.txt
executable file
·117 lines (85 loc) · 3.57 KB
/
testingRuleFile.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
INPUT person's name AS TEXT
INPUT person's dob AS DATE
INPUT person's gender AS TEXT
INPUT person's age AS NUMBER
INPUT number of drinks the person consumes an hour AS NUMBER
INPUT hours of drinks a day AS NUMBER
INPUT premium account type AS LIST
ITEM HAHAHOHO
ITEM HASHBRWON
ITEM GITHUB
ITEM ENGINE
INPUT name list AS LIST
ITEM John Smith
ITEM Dean Tudir
ITEM Agness Huge
FIXED service start date IS 1/1/1988
INPUT we have the person's passport AS BOOLEAN
INPUT one of person's parents is Australian AS BOOLEAN
INPUT both of person's parents are Australian AS BOOLEAN
INPUT the person was born in Australia AS BOOLEAN
INPUT the person missed the flight AS BOOLEAN
INPUT person is currently studying AS BOOLEAN
INPUT person's drinking habit AS TEXT
INPUT person's account AS TEXT
INPUT person’s nationality AS TEXT
INPUT person’s blood sugar level AS NUMBER
INPUT person’s lowest blood pressure AS NUMBER
INPUT person’s check-up date AS DATE
INPUT check-up date AS DATE
we have information about a person
OR we have person's name and dob
AND KNOWN person's name
AND KNOWN person's dob
OR we have the person's passport
OR person's name IS IN LIST: name list
person's nationality IS Australian
AND citizenship testing of person's parents
OR one of person's parents is Australian
OR both of person's parents are Australian
AND the person was born in Australia
person made it to Las Vegas
AND NOT the person missed the flight
person qualifies for the grant
AND NOT person’s name = troy jones
AND person’s dob > 01/01/1990
AND person is currently studying
person is eligible for a premium service
AND person's drinking habit = frequent drinker
AND person's account IS IN LIST: premium account type
AND person’s nationality = Australian
person's drinking habit IS social drinker
AND number of drinks the person consumes a week > 0
AND number of drinks the person consumes a week < 3
person's drinking habit IS frequent drinker
AND number of drinks the person consumes a week > 3
AND number of drinks the person consumes a week < 7
person's drinking habit IS heavy drinker
AND number of drinks the person consumes a week > 7
number of drinks the person consumes a week IS CALC ( number of drinks the person consumes an hour * hours of drinks a day * 5)
NEEDS number of drinks the person consumes an hour
NEEDS hours of drinks a day
person is eligible for platinum service
AND person's drinking habit = heavy drinker
AND NONE person's health condition ITERATE: LIST OF person’s health check-up history
AND CHECK NOT person’s blood sugar level > 30
AND CHECK person’s lowest blood pressure = 120
AND CHECK person’s check-up date > service start date
AND CHECK year difference between 6/04/1994 and check-up date>= 3
AND CHECK year difference between 6/04/1994 and check-up date IS CALC (check-up date - 6/04/1994)
NEEDS CHECK check-up date
———————————————————————————————
INPUT the person AS CONTEXT
years past since checkup IS CALC years(check-up date, today)
NEEDS check-up date
year difference is not too much
AND years past since checkup < 3
person's health condition
AND NOT person’s blood sugar level > 30
AND person’s lowest blood pressure = 120
AND person’s check-up date > service start date
AND year difference between 6/04/1994 and check-up date>= 3
AND year difference is not too much
person is eligible for platinum service
AND person's drinking habit = heavy drinker
AND the person CHECK person's health condition