( (IP-MAT (NP-SBJ (NUM 750)
                  (ADJP (ADJ extra;{extra}))
                  (NS police;{police}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;__ bar;{bar})
                      (NP-OB1 (ADVP (ADV Sunday;{sunday}))
                              (NS squatters;{squatter})))
          (PUNC .))
  (ID 103_a_lob_a02))

arc(r_0103_0001__750_r_0103_0003__police,r_0103_0002__extra,attrib).
arc(r_0103_0004__will,r_0103_0005__bar,scope).
arc(r_0103_0005__bar,r_0103_0001__750_r_0103_0003__police,arg0).
arc(r_0103_0005__bar,r_0103_0007__squatters,arg1).
arc(r_0103_0007__squatters,r_0103_0006__Sunday,qual).

fof(formula,axiom,
    ? [R_0103_0002__EXTRA,R_0103_0001__750_R_0103_0003__POLICE,R_0103_0006__SUNDAY,R_0103_0007__SQUATTERS,R_0103_0004__WILL_R_0103_0005__BAR] :
      ( r_0103_0002__extra(R_0103_0002__EXTRA)
      & r_0103_0006__Sunday(R_0103_0006__SUNDAY)
      & r_0103_0004__will_r_0103_0005__bar(R_0103_0004__WILL_R_0103_0005__BAR)
      & has_arg1(R_0103_0004__WILL_R_0103_0005__BAR,R_0103_0007__SQUATTERS)
      & r_0103_0007__squatters(R_0103_0007__SQUATTERS)
      & has_qual(R_0103_0007__SQUATTERS,R_0103_0006__SUNDAY)
      & has_arg0(R_0103_0004__WILL_R_0103_0005__BAR,R_0103_0001__750_R_0103_0003__POLICE)
      & r_0103_0001__750_r_0103_0003__police(R_0103_0001__750_R_0103_0003__POLICE)
      & has_attrib(R_0103_0001__750_R_0103_0003__POLICE,R_0103_0002__EXTRA) ) ).