1_a_stories_11_h38
It happened when we were in Switzerland.
( (IP-MAT (NP-SBJ (PRO It;{it}))
(VBD;_I_ happened;{happen})
(NP-NIM (IP-REL (ADVP-NIM (RADV when;{when}))
(NP-SBJ (PRO we;{we}))
(BED;_Ipr_ were;{be[in]})
(PP-CLR (P-ROLE in;{in})
(NP (NPR Switzerland;{Switzerland})))))
(PUNC .))
(ID 1_a_stories_11_h38))
arc(r_0001_0002__happened,r_0001_0001__It,arg0).
arc(r_0001_0002__happened,r_0001_0003__when,nim).
arc(r_0001_0005__were_r_0001_0006__in,r_0001_0003__when,nim).
arc(r_0001_0005__were_r_0001_0006__in,r_0001_0004__we,arg0).
arc(r_0001_0005__were_r_0001_0006__in,r_0001_0007__Switzerland,arg1).
fof(formula,axiom,
? [R_0001_0001__IT,R_0001_0003__WHEN,R_0001_0002__HAPPENED,R_0001_0004__WE,R_0001_0007__SWITZERLAND,R_0001_0005__WERE_R_0001_0006__IN] :
( r_0001_0001__It(R_0001_0001__IT)
& r_0001_0003__when(R_0001_0003__WHEN)
& r_0001_0004__we(R_0001_0004__WE)
& r_0001_0007__Switzerland(R_0001_0007__SWITZERLAND)
& r_0001_0005__were_r_0001_0006__in(R_0001_0005__WERE_R_0001_0006__IN)
& has_arg1(R_0001_0005__WERE_R_0001_0006__IN,R_0001_0007__SWITZERLAND)
& has_arg0(R_0001_0005__WERE_R_0001_0006__IN,R_0001_0004__WE)
& has_nim(R_0001_0005__WERE_R_0001_0006__IN,R_0001_0003__WHEN)
& r_0001_0002__happened(R_0001_0002__HAPPENED)
& has_nim(R_0001_0002__HAPPENED,R_0001_0003__WHEN)
& has_arg0(R_0001_0002__HAPPENED,R_0001_0001__IT) ) ).