TSPC 119_a_dick

119_a_dick_1952
“And gauged distance,” the Captain said feebly from the cot in the corner.

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (CONJ;_cl_ And;{and})
                                 (VBD;_Tn_ gauged;{gauge})
                                 (NP-OB1 (N distance;{distance}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ (D the;{the})
                  (N Captain;{captain}))
          (VBD;_Tr_ said;{say})
          (ADVP-NIM (ADV feebly;{feebly}))
          (PP-NIM (P-ROLE from;{from})
                  (NP (D the;{the})
                      (N cot;{cot})
                      (PP (P-ROLE in;{in})
                          (NP (D the;{the})
                              (N corner;{corner})))))
          (PUNC .))
  (ID 119_a_dick_1952))

arc(r_0119_0002__And,r_0119_0003__gauged,part1).
arc(r_0119_0003__gauged,r_0119_0004__distance,arg1).
arc(r_0119_0003__gauged,z_0119_5003,arg0).
arc(r_0119_0009__said,r_0119_0002__And,arg1).
arc(r_0119_0009__said,r_0119_0007__the_r_0119_0008__Captain,arg0).
arc(r_0119_0009__said,r_0119_0010__feebly,nim).
arc(r_0119_0009__said,r_0119_0012__the_r_0119_0013__cot,r_0119_0011__from__nim).
arc(r_0119_0012__the_r_0119_0013__cot,r_0119_0015__the_r_0119_0016__corner,r_0119_0014__in).

fof(formula,axiom,
    ? [R_0119_0004__DISTANCE,Z_0119_5003,R_0119_0003__GAUGED,R_0119_0002__AND,R_0119_0007__THE_R_0119_0008__CAPTAIN,R_0119_0010__FEEBLY,R_0119_0015__THE_R_0119_0016__CORNER,R_0119_0012__THE_R_0119_0013__COT,R_0119_0009__SAID] :
      ( r_0119_0004__distance(R_0119_0004__DISTANCE)
      & r_0119_0007__the_r_0119_0008__Captain(R_0119_0007__THE_R_0119_0008__CAPTAIN)
      & r_0119_0010__feebly(R_0119_0010__FEEBLY)
      & r_0119_0015__the_r_0119_0016__corner(R_0119_0015__THE_R_0119_0016__CORNER)
      & z_0119_5003(Z_0119_5003)
      & r_0119_0009__said(R_0119_0009__SAID)
      & has_r_0119_0011__from__nim(R_0119_0009__SAID,R_0119_0012__THE_R_0119_0013__COT)
      & r_0119_0012__the_r_0119_0013__cot(R_0119_0012__THE_R_0119_0013__COT)
      & has_r_0119_0014__in(R_0119_0012__THE_R_0119_0013__COT,R_0119_0015__THE_R_0119_0016__CORNER)
      & has_nim(R_0119_0009__SAID,R_0119_0010__FEEBLY)
      & has_arg0(R_0119_0009__SAID,R_0119_0007__THE_R_0119_0008__CAPTAIN)
      & has_arg1(R_0119_0009__SAID,R_0119_0002__AND)
      & r_0119_0002__And(R_0119_0002__AND)
      & has_part1(R_0119_0002__AND,R_0119_0003__GAUGED)
      & r_0119_0003__gauged(R_0119_0003__GAUGED)
      & has_arg0(R_0119_0003__GAUGED,Z_0119_5003)
      & has_arg1(R_0119_0003__GAUGED,R_0119_0004__DISTANCE) ) ).