arc(utterance_99_a_lob_n01_4, r_0099_0003__bet, part1).
arc(r_0099_0003__bet, r_0099_0007__are, arg1).
arc(r_0099_0003__bet, r_0099_0011__he, arg0).
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, utterance_99_a_lob_n01_4, arg1).
arc(r_0099_0012__laughed, r_0099_0011__he, arg0).

fof(formula,axiom,
    ? [R_99_12_LAUGHED,UTTERANCE_99_A_LOB_N01_4,R_99_3_BET,R_99_11_HE,R_99_7_ARE,R_99_4_THE_RADAR_BOYS,R_99_8_WORRIED] :
      ( he(R_99_11_HE)
      & the_radar_boys(R_99_4_THE_RADAR_BOYS)
      & worried(R_99_8_WORRIED)
      & laughed(R_99_12_LAUGHED,R_99_11_HE,UTTERANCE_99_A_LOB_N01_4)
      & utterance_99_a_lob_n01_4(UTTERANCE_99_A_LOB_N01_4)
      & part1(UTTERANCE_99_A_LOB_N01_4,R_99_3_BET)
      & bet(R_99_3_BET,R_99_11_HE,R_99_7_ARE)
      & are(R_99_7_ARE,R_99_4_THE_RADAR_BOYS,R_99_8_WORRIED) ) ).

( (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))