some(x3, and( n1official(pw1,x3), some(x15, and( n1opposition(pw2,x15), some(x25, and( n1demonstration(pw3,x25), ARG1(pw4,x25,i30), some(x8, and( compound_rel(pw5,e14), ARG1(pw6,e14,x8), ARG2(pw7,e14,x15), n1activist(pw8,x8), and( v1warn(pw9,e2), a1now(pw10,t1), eq(t2,t1), r1temp_abut(pw11,e2,t3), r1temp_includes(pw12,t3,t2)), ARG1(pw13,e2,x3), ARG2(pw14,e2,x8), ARG3(pw15,e2,e21), neg_rel(pw16,e21), ARG1(pw17,e21,e24), v1hold(pw18,e24), ARG1(pw19,e24,x8), ARG2(pw20,e24,x25))))))))) | some(A, and( possible_world(A), some(B, and( a1now(A,B), some(C, some(D, some(E, and( not( some(F, some(G, some(H, some(I, and( r1temp_abut(A,H,F), and( r1temp_includes(A,F,G), and( eq(G,B), and( r1patient(A,H,I), and( r1agent(A,H,E), and( v1warn(A,H), some(J, some(K, and( r1patient(I,J,K), and( r1agent(I,J,D), and( v1hold(I,J), n1demonstration(I,K))))))))))))))))), and( n1activist(A,D), and( r1of(A,D,C), and( n1opposition(A,C), n1official(A,E)))))))))))) |
n1demonstration(pw3,z2) ARG1(pw4,z2,i30) compound_rel(pw5,e14) ARG1(pw6,e14,z1) ARG2(pw7,e14,z3) n1activist(pw8,z1) v1warn(pw9,e2) a1now(pw10,t1) eq(t2,t1) r1temp_abut(pw11,e2,t3) r1temp_includes(pw12,t3,t2) ARG1(pw13,e2,z4) ARG2(pw14,e2,z1) ARG3(pw15,e2,e21) neg_rel(pw16,e21) ARG1(pw17,e21,e24) v1hold(pw18,e24) ARG1(pw19,e24,z1) ARG2(pw20,e24,z2) n1opposition(pw2,z3) n1official(pw1,z4) | ¬ r1temp_abut(z15,z8,z10)
¬ r1temp_includes(z15,z10,z9)
¬ eq(z9,z14)
¬ r1patient(z15,z8,z7)
¬ r1agent(z15,z8,z11)
¬ v1warn(z15,z8)
¬ r1patient(z7,z6,z5)
¬ r1agent(z7,z6,z12)
¬ v1hold(z7,z6)
¬ n1demonstration(z7,z5) n1activist(z15,z12) r1of(z15,z12,z13) n1opposition(z15,z13) n1official(z15,z11) a1now(z15,z14) possible_world(z15) |
| Predicate Matching | |
| %%% Officials have warned opposition activists not to hold demonstrations | |
| n1demonstration(pw3,z2) | n1demonstration(z7,z5) |
| n1activist(pw8,z1) | n1activist(z15,z12) |
| v1warn(pw9,e2) | v1warn(z15,z8) |
| a1now(pw10,t1) | a1now(z15,z14) |
| eq(t2,t1) | eq(z9,z14) |
| r1temp_abut(pw11,e2,t3) | r1temp_abut(z15,z8,z10) |
| r1temp_includes(pw12,t3,t2) | r1temp_includes(z15,z10,z9) |
| ARG1(pw13,e2,z4) | r1agent(z15,z8,z11) |
| ARG3(pw15,e2,e21) | r1patient(z15,z8,z7) |
| v1hold(pw18,e24) | v1hold(z7,z6) |
| ARG1(pw19,e24,z1) | r1agent(z7,z6,z12) |
| ARG2(pw20,e24,z2) | r1patient(z7,z6,z5) |
| n1opposition(pw2,z3) | n1opposition(z15,z13) |
| n1official(pw1,z4) | n1official(z15,z11) |
| ARG1(pw4,z2,i30) | r1of(z15,z12,z13) |
| compound_rel(pw5,e14) | possible_world(z15) |
| ARG1(pw6,e14,z1) | |
| ARG2(pw7,e14,z3) | |
| ARG2(pw14,e2,z1) | |
| neg_rel(pw16,e21) | |
| ARG1(pw17,e21,e24) | |