( (IP-MAT (NP-SBJ (D The;{the})
                  (N possibility;{possibility})
                  (CP-THT (IP-SUB (C that;{that})
                                  (NP-SBJ (D the;{the})
                                          (N government;{government}))
                                  (MD;_cat_Vi_ might;{may})
                                  (IP-INF-CAT (ILYR (ILYR (VB;__ invoke;{invoke})
                                                          (NP-OB1 (D the;{the})
                                                                  (ADJP (ADJ public;{public}))
                                                                  (N order;{order})
                                                                  (N act;{act})
                                                                  (PUNC ,)
                                                                  (PRN (NP (NPR 1936)))))
                                                    (PUNC ,)
                                                    (CONJP (CONJ and;{and})
                                                           (ILYR (VB;__ declare;{declare})
                                                                 (NP-OB1 (D the;{the})
                                                                         (ADJP (ADJ whole;{whole}))
                                                                         (N rally;{rally}))
                                                                 (ADJP-PRD (ADJ illegal;{illegal}))))))
                                  (PUNC <mdash>)
                                  (PRN (CP-QUE-MAT (IP-SUB (WQ whether;{whether})
                                                           (ILYR (ILYR (NP-SBJ (D the;{the})
                                                                               (NS demonstrators;{demonstrator}))
                                                                       (VBP;__ sit;{sit})
                                                                       (RP down;{down}))
                                                                 (CONJP (CONJ or;{or})
                                                                        (ILYR (NEG not;{not})))))))
                                  (PUNC <mdash>))))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (BAG;_cat_VePASS_ being;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;__ discussed;{discuss})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (NPR Whitehall;{Whitehall})))
                                  (NP-NIM (ADJP (ADJ last;{last}))
                                          (N night;{night}))))
          (PUNC .))
  (ID 111_a_lob_a02))

arc(r_0111_0001__The_r_0111_0002__possibility,r_0111_0006__might,emb).
arc(r_0111_0006__might,r_0111_0015__and,scope).
arc(r_0111_0006__might,r_0111_0022__whether,prn).
arc(r_0111_0007__invoke,r_0111_0004__the_r_0111_0005__government,arg0).
arc(r_0111_0007__invoke,r_0111_0008__the_r_0111_0010__order_r_0111_0011__act,arg1).
arc(r_0111_0008__the_r_0111_0010__order_r_0111_0011__act,r_0111_0009__public,attrib).
arc(r_0111_0015__and,r_0111_0007__invoke,conj1).
arc(r_0111_0015__and,r_0111_0016__declare,conj2).
arc(r_0111_0016__declare,r_0111_0004__the_r_0111_0005__government,arg0).
arc(r_0111_0016__declare,r_0111_0017__the_r_0111_0019__rally,arg1).
arc(r_0111_0016__declare,r_0111_0020__illegal,prd).
arc(r_0111_0017__the_r_0111_0019__rally,r_0111_0018__whole,attrib).
arc(r_0111_0022__whether,r_0111_0027__or,keep_scope).
arc(r_0111_0025__sit_r_0111_0026__down,r_0111_0023__the_r_0111_0024__demonstrators,arg0).
arc(r_0111_0027__or,r_0111_0025__sit_r_0111_0026__down,conj1).
arc(r_0111_0027__or,r_0111_0028__not,conj2).
arc(r_0111_0028__not,z_0111_5009,keep_scope).
arc(r_0111_0030__was,r_0111_0031__being,scope).
arc(r_0111_0031__being,r_0111_0032__discussed,scope).
arc(r_0111_0032__discussed,r_0111_0001__The_r_0111_0002__possibility,arg1).
arc(r_0111_0032__discussed,r_0111_0034__Whitehall,r_0111_0033__in__nim).
arc(r_0111_0032__discussed,r_0111_0036__night,nim).
arc(r_0111_0032__discussed,z_0111_5028___star_,arg0).
arc(r_0111_0036__night,r_0111_0035__last,attrib).
arc(z_0111_5015,r_0111_0008__the_r_0111_0010__order_r_0111_0011__act,arg0).
arc(z_0111_5015,r_0111_0013__1936,prd).

fof(formula,axiom,
    ? [R_0111_0023__THE_R_0111_0024__DEMONSTRATORS,R_0111_0025__SIT_R_0111_0026__DOWN,R_0111_0027__OR,R_0111_0022__WHETHER,R_0111_0004__THE_R_0111_0005__GOVERNMENT,R_0111_0009__PUBLIC,R_0111_0008__THE_R_0111_0010__ORDER_R_0111_0011__ACT,R_0111_0007__INVOKE,R_0111_0018__WHOLE,R_0111_0017__THE_R_0111_0019__RALLY,R_0111_0020__ILLEGAL,R_0111_0016__DECLARE,R_0111_0015__AND,R_0111_0006__MIGHT,R_0111_0001__THE_R_0111_0002__POSSIBILITY,R_0111_0034__WHITEHALL,R_0111_0035__LAST,R_0111_0036__NIGHT,Z_0111_5028___STAR_,R_0111_0030__WAS_R_0111_0031__BEING_R_0111_0032__DISCUSSED,R_0111_0013__1936,Z_0111_5015] :
      ( r_0111_0004__the_r_0111_0005__government(R_0111_0004__THE_R_0111_0005__GOVERNMENT)
      & r_0111_0009__public(R_0111_0009__PUBLIC)
      & r_0111_0013__1936(R_0111_0013__1936)
      & r_0111_0018__whole(R_0111_0018__WHOLE)
      & r_0111_0020__illegal(R_0111_0020__ILLEGAL)
      & r_0111_0023__the_r_0111_0024__demonstrators(R_0111_0023__THE_R_0111_0024__DEMONSTRATORS)
      & r_0111_0034__Whitehall(R_0111_0034__WHITEHALL)
      & r_0111_0035__last(R_0111_0035__LAST)
      & z_0111_5028___star_(Z_0111_5028___STAR_)
      & z_0111_5015(Z_0111_5015)
      & has_prd(Z_0111_5015,R_0111_0013__1936)
      & has_arg0(Z_0111_5015,R_0111_0008__THE_R_0111_0010__ORDER_R_0111_0011__ACT)
      & r_0111_0008__the_r_0111_0010__order_r_0111_0011__act(R_0111_0008__THE_R_0111_0010__ORDER_R_0111_0011__ACT)
      & has_attrib(R_0111_0008__THE_R_0111_0010__ORDER_R_0111_0011__ACT,R_0111_0009__PUBLIC)
      & r_0111_0030__was_r_0111_0031__being_r_0111_0032__discussed(R_0111_0030__WAS_R_0111_0031__BEING_R_0111_0032__DISCUSSED)
      & has_arg0(R_0111_0030__WAS_R_0111_0031__BEING_R_0111_0032__DISCUSSED,Z_0111_5028___STAR_)
      & has_nim(R_0111_0030__WAS_R_0111_0031__BEING_R_0111_0032__DISCUSSED,R_0111_0036__NIGHT)
      & r_0111_0036__night(R_0111_0036__NIGHT)
      & has_attrib(R_0111_0036__NIGHT,R_0111_0035__LAST)
      & has_r_0111_0033__in__nim(R_0111_0030__WAS_R_0111_0031__BEING_R_0111_0032__DISCUSSED,R_0111_0034__WHITEHALL)
      & has_arg1(R_0111_0030__WAS_R_0111_0031__BEING_R_0111_0032__DISCUSSED,R_0111_0001__THE_R_0111_0002__POSSIBILITY)
      & r_0111_0001__The_r_0111_0002__possibility(R_0111_0001__THE_R_0111_0002__POSSIBILITY)
      & has_emb(R_0111_0001__THE_R_0111_0002__POSSIBILITY,R_0111_0006__MIGHT)
      & r_0111_0006__might(R_0111_0006__MIGHT)
      & has_keep_scope(R_0111_0006__MIGHT,R_0111_0015__AND)
      & r_0111_0015__and(R_0111_0015__AND)
      & has_conj2(R_0111_0015__AND,R_0111_0016__DECLARE)
      & r_0111_0016__declare(R_0111_0016__DECLARE)
      & has_prd(R_0111_0016__DECLARE,R_0111_0020__ILLEGAL)
      & has_arg1(R_0111_0016__DECLARE,R_0111_0017__THE_R_0111_0019__RALLY)
      & r_0111_0017__the_r_0111_0019__rally(R_0111_0017__THE_R_0111_0019__RALLY)
      & has_attrib(R_0111_0017__THE_R_0111_0019__RALLY,R_0111_0018__WHOLE)
      & has_arg0(R_0111_0016__DECLARE,R_0111_0004__THE_R_0111_0005__GOVERNMENT)
      & has_conj1(R_0111_0015__AND,R_0111_0007__INVOKE)
      & r_0111_0007__invoke(R_0111_0007__INVOKE)
      & has_arg1(R_0111_0007__INVOKE,R_0111_0008__THE_R_0111_0010__ORDER_R_0111_0011__ACT)
      & has_arg0(R_0111_0007__INVOKE,R_0111_0004__THE_R_0111_0005__GOVERNMENT)
      & has_prn(R_0111_0006__MIGHT,R_0111_0022__WHETHER)
      & r_0111_0022__whether(R_0111_0022__WHETHER)
      & has_keep_scope(R_0111_0022__WHETHER,R_0111_0027__OR)
      & r_0111_0027__or(R_0111_0027__OR)
      & has_conj2(R_0111_0027__OR,R_0111_0028__NOT)
      & ~ ? [Z_0111_5009] : z_0111_5009(Z_0111_5009)
      & has_conj1(R_0111_0027__OR,R_0111_0025__SIT_R_0111_0026__DOWN)
      & r_0111_0025__sit_r_0111_0026__down(R_0111_0025__SIT_R_0111_0026__DOWN)
      & has_arg0(R_0111_0025__SIT_R_0111_0026__DOWN,R_0111_0023__THE_R_0111_0024__DEMONSTRATORS) ) ).