Context                Previous, Next                Top


1_a_stories_11_h38
It happened when we were in Switzerland.

%3 r_0001_0002__happened happened r_0001_0001__It It r_0001_0002__happened->r_0001_0001__It [arg0] r_0001_0003__when when r_0001_0003__when->r_0001_0002__happened [scope] r_0001_0005__were were r_0001_0003__when->r_0001_0005__were [restriction] r_0001_0004__we we r_0001_0005__were->r_0001_0004__we [arg0] r_0001_0007__Switzerland Switzerland r_0001_0005__were->r_0001_0007__Switzerland in [clr] 
arc(r_0001_0002__happened, r_0001_0001__It, arg0).
arc(r_0001_0003__when, r_0001_0002__happened, scope).
arc(r_0001_0003__when, r_0001_0005__were, restriction).
arc(r_0001_0005__were, r_0001_0004__we, arg0).
arc(r_0001_0005__were, r_0001_0007__Switzerland, r_0001_0006__in_clr19).


%3 r_0001_0005__were were r_0001_0007__Switzerland Switzerland r_0001_0005__were->r_0001_0007__Switzerland in [clr] r_0001_0004__we we r_0001_0005__were->r_0001_0004__we [arg0] r_0001_0003__when when r_0001_0003__when->r_0001_0005__were [restriction] r_0001_0002__happened happened r_0001_0003__when->r_0001_0002__happened [scope] r_0001_0001__It It r_0001_0002__happened->r_0001_0001__It [arg0] 
fof(formula,axiom,
    ! [R_1_5_WERE,R_1_4_WE,R_1_7_SWITZERLAND] :
      ( ( we(R_1_4_WE)
        & switzerland(R_1_7_SWITZERLAND)
        & were(R_1_5_WERE,R_1_4_WE)
        & in_clr19(R_1_5_WERE,R_1_7_SWITZERLAND) )
     => ? [R_1_2_HAPPENED,R_1_1_IT] :
          ( it(R_1_1_IT)
          & happened(R_1_2_HAPPENED,R_1_1_IT) ) ) ).


n1_a_stories_11_h38 n1_a_stories_11_h38__1_1_1_1 It n1_a_stories_11_h38__1_2_1 happened n1_a_stories_11_h38__1_3_1_1 when n1_a_stories_11_h38__1_3_2_1_1_1 we n1_a_stories_11_h38__1_3_2_2_1 were n1_a_stories_11_h38__1_3_2_3_1_1 in n1_a_stories_11_h38__1_3_2_3_2_1_1 Switzerland n1_a_stories_11_h38__1_4_1 . n1_a_stories_11_h38__1 IP-MAT n1_a_stories_11_h38__1_1 NP-SBJ n1_a_stories_11_h38__1->n1_a_stories_11_h38__1_1 n1_a_stories_11_h38__1_2 VBD;_I_ n1_a_stories_11_h38__1->n1_a_stories_11_h38__1_2 n1_a_stories_11_h38__1_3 PP-SCON n1_a_stories_11_h38__1->n1_a_stories_11_h38__1_3 n1_a_stories_11_h38__1_4 PUNC n1_a_stories_11_h38__1->n1_a_stories_11_h38__1_4 n1_a_stories_11_h38__1_1_1 PRO n1_a_stories_11_h38__1_1->n1_a_stories_11_h38__1_1_1 n1_a_stories_11_h38__1_1_1->n1_a_stories_11_h38__1_1_1_1 n1_a_stories_11_h38__1_2->n1_a_stories_11_h38__1_2_1 n1_a_stories_11_h38__1_3_1 P-ROLE n1_a_stories_11_h38__1_3->n1_a_stories_11_h38__1_3_1 n1_a_stories_11_h38__1_3_2 IP-ADV n1_a_stories_11_h38__1_3->n1_a_stories_11_h38__1_3_2 n1_a_stories_11_h38__1_3_1->n1_a_stories_11_h38__1_3_1_1 n1_a_stories_11_h38__1_3_2_1 NP-SBJ n1_a_stories_11_h38__1_3_2->n1_a_stories_11_h38__1_3_2_1 n1_a_stories_11_h38__1_3_2_2 BED;_Ipr_ n1_a_stories_11_h38__1_3_2->n1_a_stories_11_h38__1_3_2_2 n1_a_stories_11_h38__1_3_2_3 PP-CLR n1_a_stories_11_h38__1_3_2->n1_a_stories_11_h38__1_3_2_3 n1_a_stories_11_h38__1_3_2_1_1 PRO n1_a_stories_11_h38__1_3_2_1->n1_a_stories_11_h38__1_3_2_1_1 n1_a_stories_11_h38__1_3_2_1_1->n1_a_stories_11_h38__1_3_2_1_1_1 n1_a_stories_11_h38__1_3_2_2->n1_a_stories_11_h38__1_3_2_2_1 n1_a_stories_11_h38__1_3_2_3_1 P-ROLE n1_a_stories_11_h38__1_3_2_3->n1_a_stories_11_h38__1_3_2_3_1 n1_a_stories_11_h38__1_3_2_3_2 NP n1_a_stories_11_h38__1_3_2_3->n1_a_stories_11_h38__1_3_2_3_2 n1_a_stories_11_h38__1_3_2_3_1->n1_a_stories_11_h38__1_3_2_3_1_1 n1_a_stories_11_h38__1_3_2_3_2_1 NPR n1_a_stories_11_h38__1_3_2_3_2->n1_a_stories_11_h38__1_3_2_3_2_1 n1_a_stories_11_h38__1_3_2_3_2_1->n1_a_stories_11_h38__1_3_2_3_2_1_1 n1_a_stories_11_h38__1_4->n1_a_stories_11_h38__1_4_1 
( (IP-MAT (NP-SBJ (PRO It;{it}))
          (VBD;_I_ happened;{happen})
          (PP-SCON (P-ROLE when;{when})
                   (IP-ADV (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))