TSPC 33_a_lob

33_a_lob_n01
It seemed almost incredible that the tiny white figure of 8.5 against which the needle was resting could really mean hundreds of knots.

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (VBD;_La_ seemed;{seem})
          (ADJP-PRD (ADVP (ADV almost;{almost}))
                    (ADJ incredible;{incredible}))
          (CP-THT-NSBJ (IP-SUB (C that;{that})
                               (NP-SBJ (D the;{the})
                                       (ADJP (ADJ tiny;{tiny}))
                                       (ADJP (ADJ white;{white}))
                                       (N figure;{figure})
                                       (PP (P-ROLE of;{of})
                                           (NP (NUM 8<dot>5)))
                                       (IP-REL (PP-112 (P-ROLE against;{against})
                                                       (NP (RPRO which;{which})))
                                               (NP-SBJ (D the;{the})
                                                       (N needle;{needle}))
                                               (BED;_La_ was;{be})
                                               (ADJP-PRD (ADJ resting;{resting})
                                                         (PP *ICH*-112))))
                               (MD;_cat_Vi_ could;{can})
                               (IP-INF-CAT (ADVP-NIM (ADV really;{really}))
                                           (VB;_Tn_ mean;{mean})
                                           (NP-OB1 (NS hundreds;{hundred})
                                                   (PP (P-ROLE of;{of})
                                                       (NP (NS knots;{knot})))))))
          (PUNC .))
  (ID 33_a_lob_n01))

arc(r_0033_0002__seemed,r_0033_0004__incredible,prd).
arc(r_0033_0002__seemed,r_0033_0018__could,arg0).
arc(r_0033_0004__incredible,r_0033_0003__almost,qual).
arc(r_0033_0006__the_r_0033_0009__figure,r_0033_0007__tiny,attrib).
arc(r_0033_0006__the_r_0033_0009__figure,r_0033_0008__white,attrib).
arc(r_0033_0006__the_r_0033_0009__figure,r_0033_0011__8_dot_5,r_0033_0010__of).
arc(r_0033_0016__was,r_0033_0014__the_r_0033_0015__needle,arg0).
arc(r_0033_0016__was,r_0033_0017__resting,prd).
arc(r_0033_0017__resting,r_0033_0006__the_r_0033_0009__figure,r_0033_0012__against).
arc(r_0033_0018__could,r_0033_0020__mean,scope).
arc(r_0033_0020__mean,r_0033_0006__the_r_0033_0009__figure,arg0).
arc(r_0033_0020__mean,r_0033_0019__really,nim).
arc(r_0033_0020__mean,r_0033_0021__hundreds,arg1).
arc(r_0033_0021__hundreds,r_0033_0023__knots,r_0033_0022__of).

fof(formula,axiom,
    ? [R_0033_0003__ALMOST,R_0033_0004__INCREDIBLE,R_0033_0007__TINY,R_0033_0008__WHITE,R_0033_0011__8_DOT_5,R_0033_0006__THE_R_0033_0009__FIGURE,R_0033_0019__REALLY,R_0033_0023__KNOTS,R_0033_0021__HUNDREDS,R_0033_0018__COULD_R_0033_0020__MEAN,R_0033_0002__SEEMED,R_0033_0014__THE_R_0033_0015__NEEDLE,R_0033_0017__RESTING,R_0033_0016__WAS] :
      ( r_0033_0003__almost(R_0033_0003__ALMOST)
      & r_0033_0007__tiny(R_0033_0007__TINY)
      & r_0033_0008__white(R_0033_0008__WHITE)
      & r_0033_0011__8_dot_5(R_0033_0011__8_DOT_5)
      & r_0033_0014__the_r_0033_0015__needle(R_0033_0014__THE_R_0033_0015__NEEDLE)
      & r_0033_0019__really(R_0033_0019__REALLY)
      & r_0033_0023__knots(R_0033_0023__KNOTS)
      & r_0033_0016__was(R_0033_0016__WAS)
      & has_prd(R_0033_0016__WAS,R_0033_0017__RESTING)
      & r_0033_0017__resting(R_0033_0017__RESTING)
      & has_r_0033_0012__against(R_0033_0017__RESTING,R_0033_0006__THE_R_0033_0009__FIGURE)
      & r_0033_0006__the_r_0033_0009__figure(R_0033_0006__THE_R_0033_0009__FIGURE)
      & has_r_0033_0010__of(R_0033_0006__THE_R_0033_0009__FIGURE,R_0033_0011__8_DOT_5)
      & has_attrib(R_0033_0006__THE_R_0033_0009__FIGURE,R_0033_0008__WHITE)
      & has_attrib(R_0033_0006__THE_R_0033_0009__FIGURE,R_0033_0007__TINY)
      & has_arg0(R_0033_0016__WAS,R_0033_0014__THE_R_0033_0015__NEEDLE)
      & r_0033_0002__seemed(R_0033_0002__SEEMED)
      & has_arg0(R_0033_0002__SEEMED,R_0033_0018__COULD_R_0033_0020__MEAN)
      & r_0033_0018__could_r_0033_0020__mean(R_0033_0018__COULD_R_0033_0020__MEAN)
      & has_arg1(R_0033_0018__COULD_R_0033_0020__MEAN,R_0033_0021__HUNDREDS)
      & r_0033_0021__hundreds(R_0033_0021__HUNDREDS)
      & has_r_0033_0022__of(R_0033_0021__HUNDREDS,R_0033_0023__KNOTS)
      & has_nim(R_0033_0018__COULD_R_0033_0020__MEAN,R_0033_0019__REALLY)
      & has_arg0(R_0033_0018__COULD_R_0033_0020__MEAN,R_0033_0006__THE_R_0033_0009__FIGURE)
      & has_prd(R_0033_0002__SEEMED,R_0033_0004__INCREDIBLE)
      & r_0033_0004__incredible(R_0033_0004__INCREDIBLE)
      & has_qual(R_0033_0004__INCREDIBLE,R_0033_0003__ALMOST) ) ).