103_a_loosechange
Then, as abruptly as he had appeared, he left.
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
(PUNC ,)
(ADVP-NIM (ADVP (ADV as;{as}))
(ADV abruptly;{abruptly})
(PP (P-ROLE as;{as})
(IP-ADV (NP-SBJ;{BROTHER} (PRO he;{he}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (VVN;_I_ appeared;{appear})))))
(PUNC ,)
(NP-SBJ;{BROTHER} (PRO he;{he}))
(VBD;_I_ left;{leave})
(PUNC .))
(ID 103_a_loosechange))
arc(r_0103_0004__abruptly,r_0103_0003__as,qual).
arc(r_0103_0004__abruptly,r_0103_0007__had,r_0103_0005__as).
arc(r_0103_0007__had,r_0103_0008__appeared,scope).
arc(r_0103_0008__appeared,r_0103_0006__he,arg0).
arc(r_0103_0011__left,r_0103_0001__Then,nim).
arc(r_0103_0011__left,r_0103_0004__abruptly,nim).
arc(r_0103_0011__left,r_0103_0006__he,arg0).
fof(formula,axiom,
? [R_0103_0001__THEN,R_0103_0003__AS,R_0103_0006__HE,R_0103_0007__HAD_R_0103_0008__APPEARED,R_0103_0004__ABRUPTLY,R_0103_0011__LEFT] :
( r_0103_0001__Then(R_0103_0001__THEN)
& r_0103_0003__as(R_0103_0003__AS)
& r_0103_0006__he(R_0103_0006__HE)
& r_0103_0011__left(R_0103_0011__LEFT)
& has_arg0(R_0103_0011__LEFT,R_0103_0006__HE)
& has_nim(R_0103_0011__LEFT,R_0103_0004__ABRUPTLY)
& r_0103_0004__abruptly(R_0103_0004__ABRUPTLY)
& has_r_0103_0005__as(R_0103_0004__ABRUPTLY,R_0103_0007__HAD_R_0103_0008__APPEARED)
& r_0103_0007__had_r_0103_0008__appeared(R_0103_0007__HAD_R_0103_0008__APPEARED)
& has_arg0(R_0103_0007__HAD_R_0103_0008__APPEARED,R_0103_0006__HE)
& has_qual(R_0103_0004__ABRUPTLY,R_0103_0003__AS)
& has_nim(R_0103_0011__LEFT,R_0103_0001__THEN) ) ).