TSPC 57_a_lob

57_a_lob_a02
A third man's house was watched for four days by plain - clothes men.

( (IP-MAT (NP-SBJ (NP-GEN (D A;{a})
                          (NUM third;{third})
                          (N man;{man})
                          (GENM <apos>s))
                  (N house;{house}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (VVN;__ watched;{watch})
                      (PP-NIM (P-ROLE for;{for})
                              (NP (NUM four;{four})
                                  (NS days;{day})))
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (NLYR (ADJP (ADJ plain;{plain}))
                                        (PUNC <hyphen>)
                                        (NS clothes;{clothes}))
                                  (NS men;{man}))))
          (PUNC .))
  (ID 57_a_lob_a02))

arc(r_0057_0005__house,r_0057_0001__A_r_0057_0002__third_r_0057_0003__man,gen).
arc(r_0057_0006__was,r_0057_0007__watched,scope).
arc(r_0057_0007__watched,r_0057_0005__house,arg1).
arc(r_0057_0007__watched,r_0057_0009__four_r_0057_0010__days,r_0057_0008__for__nim).
arc(r_0057_0007__watched,r_0057_0015__men,r_0057_0011__by_arg0).
arc(r_0057_0014__clothes,r_0057_0012__plain,attrib).
arc(r_0057_0015__men,r_0057_0014__clothes,nim).

fof(formula,axiom,
    ? [R_0057_0001__A_R_0057_0002__THIRD_R_0057_0003__MAN,R_0057_0005__HOUSE,R_0057_0009__FOUR_R_0057_0010__DAYS,R_0057_0012__PLAIN,R_0057_0014__CLOTHES,R_0057_0015__MEN,R_0057_0006__WAS_R_0057_0007__WATCHED] :
      ( r_0057_0001__A_r_0057_0002__third_r_0057_0003__man(R_0057_0001__A_R_0057_0002__THIRD_R_0057_0003__MAN)
      & r_0057_0009__four_r_0057_0010__days(R_0057_0009__FOUR_R_0057_0010__DAYS)
      & r_0057_0012__plain(R_0057_0012__PLAIN)
      & r_0057_0006__was_r_0057_0007__watched(R_0057_0006__WAS_R_0057_0007__WATCHED)
      & has_r_0057_0011__by_arg0(R_0057_0006__WAS_R_0057_0007__WATCHED,R_0057_0015__MEN)
      & r_0057_0015__men(R_0057_0015__MEN)
      & has_nim(R_0057_0015__MEN,R_0057_0014__CLOTHES)
      & r_0057_0014__clothes(R_0057_0014__CLOTHES)
      & has_attrib(R_0057_0014__CLOTHES,R_0057_0012__PLAIN)
      & has_r_0057_0008__for__nim(R_0057_0006__WAS_R_0057_0007__WATCHED,R_0057_0009__FOUR_R_0057_0010__DAYS)
      & has_arg1(R_0057_0006__WAS_R_0057_0007__WATCHED,R_0057_0005__HOUSE)
      & r_0057_0005__house(R_0057_0005__HOUSE)
      & has_gen(R_0057_0005__HOUSE,R_0057_0001__A_R_0057_0002__THIRD_R_0057_0003__MAN) ) ).