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_0099_0004__THE_R_0099_0005__RADAR_R_0099_0006__BOYS,R_0099_0008__WORRIED,R_0099_0007__ARE,R_0099_0011__HE,R_0099_0003__BET,UTTERANCE_99_A_LOB_N01_4,R_0099_0012__LAUGHED] :
      ( 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_0011__he(R_0099_0011__HE)
      & r_0099_0012__laughed(R_0099_0012__LAUGHED)
      & has_arg0(R_0099_0012__LAUGHED,R_0099_0011__HE)
      & has_arg1(R_0099_0012__LAUGHED,UTTERANCE_99_A_LOB_N01_4)
      & utterance_99_a_lob_n01_4(UTTERANCE_99_A_LOB_N01_4)
      & has_part1(UTTERANCE_99_A_LOB_N01_4,R_0099_0003__BET)
      & r_0099_0003__bet(R_0099_0003__BET)
      & has_arg0(R_0099_0003__BET,R_0099_0011__HE)
      & 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) ) ).

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