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.
arc(r_0033_0002__seemed, r_0033_0004__incredible, prd).
arc(r_0033_0002__seemed, r_0033_0005__that_r_0033_0018__could, arg0).
arc(r_0033_0004__incredible, r_0033_0003__almost, qual8).
arc(r_0033_0005__that_r_0033_0018__could, r_0033_0020__mean, scope).
arc(r_0033_0006__the_r_0033_0009__figure, r_0033_0007__tiny, attrib20).
arc(r_0033_0006__the_r_0033_0009__figure, r_0033_0008__white, attrib23).
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_0020__mean, r_0033_0006__the_r_0033_0009__figure, arg0).
arc(r_0033_0020__mean, r_0033_0019__really, nim56).
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_33_2_SEEMED,R_33_5_THAT_COULD_MEAN,R_33_21_HUNDREDS,R_33_23_KNOTS,R_33_19_REALLY,R_33_4_INCREDIBLE,R_33_3_ALMOST,R_33_16_WAS,R_33_14_THE_NEEDLE,R_33_17_RESTING,R_33_6_THE_FIGURE,R_33_7_TINY,R_33_8_WHITE,R_33_11_8_DOT_5] :
( knots(R_33_23_KNOTS)
& really(R_33_19_REALLY)
& almost(R_33_3_ALMOST)
& the_needle(R_33_14_THE_NEEDLE)
& tiny(R_33_7_TINY)
& white(R_33_8_WHITE)
& 8_dot_5(R_33_11_8_DOT_5)
& seemed(R_33_2_SEEMED,R_33_5_THAT_COULD_MEAN,R_33_4_INCREDIBLE)
& that_could_mean(R_33_5_THAT_COULD_MEAN,R_33_6_THE_FIGURE,R_33_21_HUNDREDS)
& the_figure(R_33_6_THE_FIGURE)
& attrib20(R_33_6_THE_FIGURE,R_33_7_TINY)
& attrib23(R_33_6_THE_FIGURE,R_33_8_WHITE)
& of(R_33_6_THE_FIGURE,R_33_11_8_DOT_5)
& hundreds(R_33_21_HUNDREDS)
& of(R_33_21_HUNDREDS,R_33_23_KNOTS)
& nim56(R_33_5_THAT_COULD_MEAN,R_33_19_REALLY)
& incredible(R_33_4_INCREDIBLE)
& qual8(R_33_4_INCREDIBLE,R_33_3_ALMOST)
& was(R_33_16_WAS,R_33_14_THE_NEEDLE,R_33_17_RESTING)
& resting(R_33_17_RESTING)
& against(R_33_17_RESTING,R_33_6_THE_FIGURE) ) ).
( (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))