Skip to content

Commit 5b80b1e

Browse files
committed
more norms
1 parent 4cd5348 commit 5b80b1e

File tree

1 file changed

+12
-5
lines changed

1 file changed

+12
-5
lines changed

wiki_main.cc

Lines changed: 12 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -207,11 +207,18 @@ int main(int argc, char **argv) {
207207
// "(inrole(p1,student) && inrole(p2,instructor) && subject(student) && attr(msg,grades)) ||"
208208
// "(inrole(p1,student) && inrole(p2,student) && attr(msg,instructor))";
209209

210-
const char *expr =
211-
"(inrole(p1,generation0) && inrole(p2,elder) && subject(p1) && attr(msg, geneticDisease)) ||"
212-
"(inrole(p1,generation0) && inrole(p2,generation0) && attr(msg, finances)) ||"
213-
"(inrole(p1,generation1) && inrole(p2,generation1) && attr(msg, lowAcademicPerf)) ||"
214-
"(inrole(p1,generation1) && inrole(p2,generation1) && attr(msg, parties))";
210+
// const char *expr =
211+
// "(inrole(p1,generation0) && inrole(p2,elder) && subject(p1) && attr(msg, geneticDisease)) ||"
212+
// "(inrole(p1,generation0) && inrole(p2,generation0) && attr(msg, finances)) ||"
213+
// "(inrole(p1,generation1) && inrole(p2,generation1) && attr(msg, lowAcademicPerf)) ||"
214+
// "(inrole(p1,generation1) && inrole(p2,generation1) && attr(msg, parties))";
215+
216+
217+
// const char *expr = "inrole(p2, friend) || inrole(p2, fof)";
218+
219+
const char *expr = "(inrole(p1, circleCreator) && inrole(p2, circleMember)) || "
220+
"(inrole(p1, circleMember) && attr(msg, limited))";
221+
215222
yyscan_t scanner;
216223
YY_BUFFER_STATE state;
217224

0 commit comments

Comments
 (0)