1_a_stories_11_h38
It happened when we were in Switzerland.
arc(r_0001_0002__happened, r_0001_0001__It, arg0).
arc(r_0001_0002__happened, z_000_1_a_stories_11_h38_7, nim7).
arc(r_0001_0005__were, r_0001_0004__we, arg0).
arc(r_0001_0005__were, r_0001_0007__Switzerland, r_0001_0006__in_clr20).
arc(r_0001_0005__were, z_000_1_a_stories_11_h38_7, nim9).
fof(formula,axiom,
? [R_1_2_HAPPENED,R_1_1_IT,R_1_5_WERE,R_1_4_WE,Z_1_A_STORIES_11_H38_7,R_1_7_SWITZERLAND] :
( it(R_1_1_IT)
& we(R_1_4_WE)
& switzerland(R_1_7_SWITZERLAND)
& happened(R_1_2_HAPPENED,R_1_1_IT)
& nim7(R_1_2_HAPPENED,Z_1_A_STORIES_11_H38_7)
& were(R_1_5_WERE,R_1_4_WE)
& nim9(R_1_5_WERE,Z_1_A_STORIES_11_H38_7)
& in_clr20(R_1_5_WERE,R_1_7_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))