TSPC 369_a_dick

369_a_dick_1952
“There must have been hundreds of guns like this,” Dorle murmured.

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (EX There;{there})
                                 (MD;_cat_Vi_ must;{must})
                                 (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                             (IP-PPL-CAT (BEN;_ex_V_ been;{be})
                                                         (NP-ESBJ (NS hundreds;{hundred})
                                                                  (PP (P-ROLE of;{of})
                                                                      (NP (NS guns;{gun})
                                                                          (PP (P-ROLE like;{like})
                                                                              (NP (D;_nphd_ this;{this}))))))))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
          (VBD;_Tr_ murmured;{murmur})
          (PUNC .))
  (ID 369_a_dick_1952))

arc(r_0369_0003__must,r_0369_0004__have,scope).
arc(r_0369_0004__have,r_0369_0005__been,scope).
arc(r_0369_0005__been,r_0369_0006__hundreds,arg0).
arc(r_0369_0006__hundreds,r_0369_0008__guns,r_0369_0007__of).
arc(r_0369_0008__guns,r_0369_0010__this,r_0369_0009__like).
arc(r_0369_0014__murmured,r_0369_0013__Dorle,arg0).
arc(r_0369_0014__murmured,z_0369_5002__utterance,arg1).
arc(z_0369_5002__utterance,r_0369_0003__must,part1).

fof(formula,axiom,
    ? [R_0369_0013__DORLE,R_0369_0010__THIS,R_0369_0008__GUNS,R_0369_0006__HUNDREDS,R_0369_0003__MUST_R_0369_0004__HAVE_R_0369_0005__BEEN,Z_0369_5002__UTTERANCE,R_0369_0014__MURMURED] :
      ( r_0369_0010__this(R_0369_0010__THIS)
      & r_0369_0013__Dorle(R_0369_0013__DORLE)
      & r_0369_0014__murmured(R_0369_0014__MURMURED)
      & has_arg1(R_0369_0014__MURMURED,Z_0369_5002__UTTERANCE)
      & z_0369_5002__utterance(Z_0369_5002__UTTERANCE)
      & has_part1(Z_0369_5002__UTTERANCE,R_0369_0003__MUST_R_0369_0004__HAVE_R_0369_0005__BEEN)
      & r_0369_0003__must_r_0369_0004__have_r_0369_0005__been(R_0369_0003__MUST_R_0369_0004__HAVE_R_0369_0005__BEEN)
      & has_arg0(R_0369_0003__MUST_R_0369_0004__HAVE_R_0369_0005__BEEN,R_0369_0006__HUNDREDS)
      & r_0369_0006__hundreds(R_0369_0006__HUNDREDS)
      & has_r_0369_0007__of(R_0369_0006__HUNDREDS,R_0369_0008__GUNS)
      & r_0369_0008__guns(R_0369_0008__GUNS)
      & has_r_0369_0009__like(R_0369_0008__GUNS,R_0369_0010__THIS)
      & has_arg0(R_0369_0014__MURMURED,R_0369_0013__DORLE) ) ).