81_a_lob_n01
Gloria had laughed when she told him how she had accounted for the impending visit of the official from the ministry.
( (IP-MAT (NP-SBJ;{GLORIA} (NPR Gloria;{Gloria}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (VVN;_I_ laughed;{laugh}))
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ;{GLORIA} (PRO she;{she}))
(VBD;_Dn.w_ told;{tell})
(NP-OB2;{ALASTAIR} (PRO him;{he}))
(CP-QUE-OB1 (IP-SUB (ADVP-128 (WADV how;{how}))
(NP-SBJ;{GLORIA} (PRO she;{she}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (ADVP-NIM *ICH*-128)
(VVN;_phr_Vpr_ accounted;{account[for]})
(PP-CLR (P-ROLE for;{for})
(NP (D the;{the})
(ADJP (ADJ impending;{impending}))
(N visit;{visit})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N official;{official})
(PP (P-ROLE from;{from})
(NP (D the;{the})
(N ministry;{ministry}))))))))))))
(PUNC .))
(ID 81_a_lob_n01))
arc(r_0081_0002__had,r_0081_0003__laughed,scope).
arc(r_0081_0003__laughed,r_0081_0001__Gloria,arg0).
arc(r_0081_0004__when,r_0081_0002__had,scope).
arc(r_0081_0004__when,r_0081_0006__told,restriction).
arc(r_0081_0006__told,r_0081_0001__Gloria,arg0).
arc(r_0081_0006__told,r_0081_0007__him,arg2).
arc(r_0081_0006__told,r_0081_0010__had,arg1).
arc(r_0081_0010__had,r_0081_0011__accounted,scope).
arc(r_0081_0011__accounted,r_0081_0001__Gloria,arg0).
arc(r_0081_0011__accounted,r_0081_0008__how,nim).
arc(r_0081_0011__accounted,r_0081_0013__the_r_0081_0015__visit,r_0081_0012__for__clr).
arc(r_0081_0013__the_r_0081_0015__visit,r_0081_0014__impending,attrib).
arc(r_0081_0013__the_r_0081_0015__visit,r_0081_0017__the_r_0081_0018__official,r_0081_0016__of).
arc(r_0081_0017__the_r_0081_0018__official,r_0081_0020__the_r_0081_0021__ministry,r_0081_0019__from).
fof(formula,axiom,
! [R_0081_0006__TOLD,R_0081_0001__GLORIA,R_0081_0007__HIM,R_0081_0008__HOW,R_0081_0014__IMPENDING,R_0081_0020__THE_R_0081_0021__MINISTRY,R_0081_0017__THE_R_0081_0018__OFFICIAL,R_0081_0013__THE_R_0081_0015__VISIT,R_0081_0010__HAD_R_0081_0011__ACCOUNTED] :
( ( r_0081_0001__Gloria(R_0081_0001__GLORIA)
& r_0081_0007__him(R_0081_0007__HIM)
& r_0081_0008__how(R_0081_0008__HOW)
& r_0081_0014__impending(R_0081_0014__IMPENDING)
& r_0081_0020__the_r_0081_0021__ministry(R_0081_0020__THE_R_0081_0021__MINISTRY)
& r_0081_0006__told(R_0081_0006__TOLD)
& has_arg1(R_0081_0006__TOLD,R_0081_0010__HAD_R_0081_0011__ACCOUNTED)
& r_0081_0010__had_r_0081_0011__accounted(R_0081_0010__HAD_R_0081_0011__ACCOUNTED)
& has_r_0081_0012__for__clr(R_0081_0010__HAD_R_0081_0011__ACCOUNTED,R_0081_0013__THE_R_0081_0015__VISIT)
& r_0081_0013__the_r_0081_0015__visit(R_0081_0013__THE_R_0081_0015__VISIT)
& has_r_0081_0016__of(R_0081_0013__THE_R_0081_0015__VISIT,R_0081_0017__THE_R_0081_0018__OFFICIAL)
& r_0081_0017__the_r_0081_0018__official(R_0081_0017__THE_R_0081_0018__OFFICIAL)
& has_r_0081_0019__from(R_0081_0017__THE_R_0081_0018__OFFICIAL,R_0081_0020__THE_R_0081_0021__MINISTRY)
& has_attrib(R_0081_0013__THE_R_0081_0015__VISIT,R_0081_0014__IMPENDING)
& has_nim(R_0081_0010__HAD_R_0081_0011__ACCOUNTED,R_0081_0008__HOW)
& has_arg0(R_0081_0010__HAD_R_0081_0011__ACCOUNTED,R_0081_0001__GLORIA)
& has_arg2(R_0081_0006__TOLD,R_0081_0007__HIM)
& has_arg0(R_0081_0006__TOLD,R_0081_0001__GLORIA) )
=> ? [R_0081_0002__HAD_R_0081_0003__LAUGHED] :
( r_0081_0002__had_r_0081_0003__laughed(R_0081_0002__HAD_R_0081_0003__LAUGHED)
& has_arg0(R_0081_0002__HAD_R_0081_0003__LAUGHED,R_0081_0001__GLORIA) ) ) ).