99_a_lob_n01
‘I bet the radar boys are worried,’ he laughed.
( (IP-MAT (PULQ <lquo>)
(utterance-OB1 (IP-MAT (NP-SBJ;{ALASTAIR} (PRO I;{I}))
(VBP;__ bet;{bet})
(CP-THT-OB1 (IP-SUB (NP-SBJ;{RADAR_BOYS} (D the;{the})
(N radar;{radar})
(NS boys;{boy}))
(BEP;_La_ are;{be})
(ADJP-PRD (ADJ worried;{worried}))))))
(PUNC ,)
(PURQ <rquo>)
(NP-SBJ;{ALASTAIR} (PRO he;{he}))
(VBD;_Tr_ laughed;{laugh})
(PUNC .))
(ID 99_a_lob_n01))
arc(r_0099_0003__bet,r_0099_0002__I,arg0).
arc(r_0099_0003__bet,r_0099_0007__are,arg1).
arc(r_0099_0007__are,r_0099_0004__the_r_0099_0005__radar_r_0099_0006__boys,arg0).
arc(r_0099_0007__are,r_0099_0008__worried,prd).
arc(r_0099_0012__laughed,r_0099_0002__I,arg0).
arc(r_0099_0012__laughed,z_0099_5002__utterance,arg1).
arc(z_0099_5002__utterance,r_0099_0003__bet,part1).
fof(formula,axiom,
? [R_0099_0002__I,R_0099_0004__THE_R_0099_0005__RADAR_R_0099_0006__BOYS,R_0099_0008__WORRIED,R_0099_0007__ARE,R_0099_0003__BET,Z_0099_5002__UTTERANCE,R_0099_0012__LAUGHED] :
( r_0099_0002__I(R_0099_0002__I)
& r_0099_0004__the_r_0099_0005__radar_r_0099_0006__boys(R_0099_0004__THE_R_0099_0005__RADAR_R_0099_0006__BOYS)
& r_0099_0008__worried(R_0099_0008__WORRIED)
& r_0099_0012__laughed(R_0099_0012__LAUGHED)
& has_arg1(R_0099_0012__LAUGHED,Z_0099_5002__UTTERANCE)
& z_0099_5002__utterance(Z_0099_5002__UTTERANCE)
& has_part1(Z_0099_5002__UTTERANCE,R_0099_0003__BET)
& r_0099_0003__bet(R_0099_0003__BET)
& has_arg1(R_0099_0003__BET,R_0099_0007__ARE)
& r_0099_0007__are(R_0099_0007__ARE)
& has_prd(R_0099_0007__ARE,R_0099_0008__WORRIED)
& has_arg0(R_0099_0007__ARE,R_0099_0004__THE_R_0099_0005__RADAR_R_0099_0006__BOYS)
& has_arg0(R_0099_0003__BET,R_0099_0002__I)
& has_arg0(R_0099_0012__LAUGHED,R_0099_0002__I) ) ).