Context                Previous, Next                Top


30_a_lockdown
If she did, I would tell her.

n30_a_lockdown n30_a_lockdown__1_1_1_1 If n30_a_lockdown__1_1_2_1_1_1 she n30_a_lockdown__1_1_2_2_1 did n30_a_lockdown__1_2_1 , n30_a_lockdown__1_3_1_1 I n30_a_lockdown__1_4_1 would n30_a_lockdown__1_5_1_1 tell n30_a_lockdown__1_5_2_1_1 her n30_a_lockdown__1_6_1 . n30_a_lockdown__1 IP-MAT n30_a_lockdown__1_1 PP-SCON n30_a_lockdown__1->n30_a_lockdown__1_1 n30_a_lockdown__1_2 PUNC n30_a_lockdown__1->n30_a_lockdown__1_2 n30_a_lockdown__1_3 NP-SBJ n30_a_lockdown__1->n30_a_lockdown__1_3 n30_a_lockdown__1_4 MD;_cat_Vi_ n30_a_lockdown__1->n30_a_lockdown__1_4 n30_a_lockdown__1_5 IP-INF-CAT n30_a_lockdown__1->n30_a_lockdown__1_5 n30_a_lockdown__1_6 PUNC n30_a_lockdown__1->n30_a_lockdown__1_6 n30_a_lockdown__1_1_1 P-CONN n30_a_lockdown__1_1->n30_a_lockdown__1_1_1 n30_a_lockdown__1_1_2 IP-ADV n30_a_lockdown__1_1->n30_a_lockdown__1_1_2 n30_a_lockdown__1_1_1->n30_a_lockdown__1_1_1_1 n30_a_lockdown__1_1_2_1 NP-SBJ n30_a_lockdown__1_1_2->n30_a_lockdown__1_1_2_1 n30_a_lockdown__1_1_2_2 DOD n30_a_lockdown__1_1_2->n30_a_lockdown__1_1_2_2 n30_a_lockdown__1_1_2_1_1 PRO n30_a_lockdown__1_1_2_1->n30_a_lockdown__1_1_2_1_1 n30_a_lockdown__1_1_2_1_1->n30_a_lockdown__1_1_2_1_1_1 n30_a_lockdown__1_1_2_2->n30_a_lockdown__1_1_2_2_1 n30_a_lockdown__1_2->n30_a_lockdown__1_2_1 n30_a_lockdown__1_3_1 PRO n30_a_lockdown__1_3->n30_a_lockdown__1_3_1 n30_a_lockdown__1_3_1->n30_a_lockdown__1_3_1_1 n30_a_lockdown__1_4->n30_a_lockdown__1_4_1 n30_a_lockdown__1_5_1 VB;_Tn_ n30_a_lockdown__1_5->n30_a_lockdown__1_5_1 n30_a_lockdown__1_5_2 NP-OB1 n30_a_lockdown__1_5->n30_a_lockdown__1_5_2 n30_a_lockdown__1_5_1->n30_a_lockdown__1_5_1_1 n30_a_lockdown__1_5_2_1 PRO n30_a_lockdown__1_5_2->n30_a_lockdown__1_5_2_1 n30_a_lockdown__1_5_2_1->n30_a_lockdown__1_5_2_1_1 n30_a_lockdown__1_6->n30_a_lockdown__1_6_1 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{MOTHER_IN_LAW_OF_B} (PRO she;{she}))
                           (DOD did;{do})))
          (PUNC ,)
          (NP-SBJ;{PERSON_B} (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;_Tn_ tell;{tell})
                      (NP-OB1;{MOTHER_IN_LAW_OF_B} (PRO her;{her})))
          (PUNC .))
  (ID 30_a_lockdown;speaker=b))


%3 r_0030_0007__tell tell r_0030_0005__I I r_0030_0007__tell->r_0030_0005__I [arg0] r_0030_0002__she she r_0030_0007__tell->r_0030_0002__she [arg1] r_0030_0006__would would r_0030_0006__would->r_0030_0007__tell [scope] r_0030_0003__did did r_0030_0003__did->r_0030_0002__she [arg0] r_0030_0001__If If r_0030_0001__If->r_0030_0006__would [scope] r_0030_0001__If->r_0030_0003__did [restriction] 
arc(r_0030_0001__If,r_0030_0003__did,restriction).
arc(r_0030_0001__If,r_0030_0006__would,scope).
arc(r_0030_0003__did,r_0030_0002__she,arg0).
arc(r_0030_0006__would,r_0030_0007__tell,scope).
arc(r_0030_0007__tell,r_0030_0002__she,arg1).
arc(r_0030_0007__tell,r_0030_0005__I,arg0).


%3 r_0030_0001__If If r_0030_0003__did did r_0030_0001__If->r_0030_0003__did [restriction] r_0030_0006__would_r_0030_0007__tell would tell r_0030_0001__If->r_0030_0006__would_r_0030_0007__tell [scope] r_0030_0002__she she r_0030_0003__did->r_0030_0002__she [arg0] r_0030_0006__would_r_0030_0007__tell->r_0030_0002__she [arg1] r_0030_0005__I I r_0030_0006__would_r_0030_0007__tell->r_0030_0005__I [arg0] 
fof(formula,axiom,
    ! [R_0030_0003__DID,R_0030_0002__SHE] :
      ( ( r_0030_0002__she(R_0030_0002__SHE)
        & r_0030_0003__did(R_0030_0003__DID)
        & has_arg0(R_0030_0003__DID,R_0030_0002__SHE) )
     => ? [R_0030_0005__I,R_0030_0006__WOULD_R_0030_0007__TELL] :
          ( r_0030_0005__I(R_0030_0005__I)
          & r_0030_0006__would_r_0030_0007__tell(R_0030_0006__WOULD_R_0030_0007__TELL)
          & has_arg0(R_0030_0006__WOULD_R_0030_0007__TELL,R_0030_0005__I)
          & has_arg1(R_0030_0006__WOULD_R_0030_0007__TELL,R_0030_0002__SHE) ) ) ).