Context                Previous, Next                Top


11_a_johnson_letter
That is why we are giving one simple instruction - you must stay at home.

%3 r_0011_0002__is is r_0011_0001__That That r_0011_0002__is->r_0011_0001__That [arg0] r_0011_0005__are are r_0011_0002__is->r_0011_0005__are [prd] r_0011_0003__why why r_0011_0005__are->r_0011_0003__why [nim] r_0011_0006__giving giving r_0011_0005__are->r_0011_0006__giving [scope] r_0011_0004__we we r_0011_0006__giving->r_0011_0004__we [arg0] r_0011_0007__one_r_0011_0009__instruction one instruction r_0011_0006__giving->r_0011_0007__one_r_0011_0009__instruction [arg1] r_0011_0008__simple simple r_0011_0007__one_r_0011_0009__instruction->r_0011_0008__simple [attrib] 
arc(r_0011_0002__is, r_0011_0001__That, arg0).
arc(r_0011_0002__is, r_0011_0005__are, prd).
arc(r_0011_0005__are, r_0011_0003__why, nim9).
arc(r_0011_0005__are, r_0011_0006__giving, scope).
arc(r_0011_0006__giving, r_0011_0004__we, arg0).
arc(r_0011_0006__giving, r_0011_0007__one_r_0011_0009__instruction, arg1).
arc(r_0011_0007__one_r_0011_0009__instruction, r_0011_0008__simple, attrib23).


%3 r_0011_0007__one_r_0011_0009__instruction one instruction r_0011_0008__simple simple r_0011_0007__one_r_0011_0009__instruction->r_0011_0008__simple [attrib] r_0011_0005__are_r_0011_0006__giving are giving r_0011_0005__are_r_0011_0006__giving->r_0011_0007__one_r_0011_0009__instruction [arg1] r_0011_0004__we we r_0011_0005__are_r_0011_0006__giving->r_0011_0004__we [arg0] r_0011_0003__why why r_0011_0005__are_r_0011_0006__giving->r_0011_0003__why [nim] r_0011_0002__is is r_0011_0002__is->r_0011_0005__are_r_0011_0006__giving [prd] r_0011_0001__That That r_0011_0002__is->r_0011_0001__That [arg0] 
fof(formula,axiom,
    ? [R_0011_0001__THAT,R_0011_0003__WHY,R_0011_0004__WE,R_0011_0008__SIMPLE,R_0011_0007__ONE_R_0011_0009__INSTRUCTION,R_0011_0005__ARE_R_0011_0006__GIVING,R_0011_0002__IS] :
      ( r_0011_0001__That(R_0011_0001__THAT)
      & r_0011_0003__why(R_0011_0003__WHY)
      & r_0011_0004__we(R_0011_0004__WE)
      & r_0011_0008__simple(R_0011_0008__SIMPLE)
      & r_0011_0002__is(R_0011_0002__IS)
      & has_prd(R_0011_0002__IS,R_0011_0005__ARE_R_0011_0006__GIVING)
      & r_0011_0005__are_r_0011_0006__giving(R_0011_0005__ARE_R_0011_0006__GIVING)
      & has_arg1(R_0011_0005__ARE_R_0011_0006__GIVING,R_0011_0007__ONE_R_0011_0009__INSTRUCTION)
      & r_0011_0007__one_r_0011_0009__instruction(R_0011_0007__ONE_R_0011_0009__INSTRUCTION)
      & has_attrib23(R_0011_0007__ONE_R_0011_0009__INSTRUCTION,R_0011_0008__SIMPLE)
      & has_arg0(R_0011_0005__ARE_R_0011_0006__GIVING,R_0011_0004__WE)
      & has_nim9(R_0011_0005__ARE_R_0011_0006__GIVING,R_0011_0003__WHY)
      & has_arg0(R_0011_0002__IS,R_0011_0001__THAT) ) ).


n11_a_johnson_letter n11_a_johnson_letter__1_1_1_1 That n11_a_johnson_letter__1_2_1 is n11_a_johnson_letter__1_3_1_1_1_1 why n11_a_johnson_letter__1_3_1_2_1_1 we n11_a_johnson_letter__1_3_1_3_1 are n11_a_johnson_letter__1_3_1_4_1_1 giving n11_a_johnson_letter__1_3_1_4_2_1_1 one n11_a_johnson_letter__1_3_1_4_2_2_1_1 simple n11_a_johnson_letter__1_3_1_4_2_3_1 instruction n11_a_johnson_letter__1_3_1_4_2_4_1 - n11_a_johnson_letter__1_3_1_4_2_5_1_1_1_1 you n11_a_johnson_letter__1_3_1_4_2_5_1_2_1 must n11_a_johnson_letter__1_3_1_4_2_5_1_3_1_1 stay n11_a_johnson_letter__1_3_1_4_2_5_1_3_2_1_1 at n11_a_johnson_letter__1_3_1_4_2_5_1_3_2_2_1_1 home n11_a_johnson_letter__1_4_1 . n11_a_johnson_letter__1 IP-MAT n11_a_johnson_letter__1_1 NP-SBJ n11_a_johnson_letter__1->n11_a_johnson_letter__1_1 n11_a_johnson_letter__1_2 BEP;_equ_Vw_ n11_a_johnson_letter__1->n11_a_johnson_letter__1_2 n11_a_johnson_letter__1_3 CP-QUE-PRD n11_a_johnson_letter__1->n11_a_johnson_letter__1_3 n11_a_johnson_letter__1_4 PUNC n11_a_johnson_letter__1->n11_a_johnson_letter__1_4 n11_a_johnson_letter__1_1_1 D;_nphd_ n11_a_johnson_letter__1_1->n11_a_johnson_letter__1_1_1 n11_a_johnson_letter__1_1_1->n11_a_johnson_letter__1_1_1_1 n11_a_johnson_letter__1_2->n11_a_johnson_letter__1_2_1 n11_a_johnson_letter__1_3_1 IP-SUB n11_a_johnson_letter__1_3->n11_a_johnson_letter__1_3_1 n11_a_johnson_letter__1_3_1_1 ADVP-NIM n11_a_johnson_letter__1_3_1->n11_a_johnson_letter__1_3_1_1 n11_a_johnson_letter__1_3_1_2 NP-SBJ n11_a_johnson_letter__1_3_1->n11_a_johnson_letter__1_3_1_2 n11_a_johnson_letter__1_3_1_3 BEP;_cat_Vg_ n11_a_johnson_letter__1_3_1->n11_a_johnson_letter__1_3_1_3 n11_a_johnson_letter__1_3_1_4 IP-PPL-CAT n11_a_johnson_letter__1_3_1->n11_a_johnson_letter__1_3_1_4 n11_a_johnson_letter__1_3_1_1_1 WADV n11_a_johnson_letter__1_3_1_1->n11_a_johnson_letter__1_3_1_1_1 n11_a_johnson_letter__1_3_1_1_1->n11_a_johnson_letter__1_3_1_1_1_1 n11_a_johnson_letter__1_3_1_2_1 PRO n11_a_johnson_letter__1_3_1_2->n11_a_johnson_letter__1_3_1_2_1 n11_a_johnson_letter__1_3_1_2_1->n11_a_johnson_letter__1_3_1_2_1_1 n11_a_johnson_letter__1_3_1_3->n11_a_johnson_letter__1_3_1_3_1 n11_a_johnson_letter__1_3_1_4_1 VAG;_Tn_ n11_a_johnson_letter__1_3_1_4->n11_a_johnson_letter__1_3_1_4_1 n11_a_johnson_letter__1_3_1_4_2 NP-OB1 n11_a_johnson_letter__1_3_1_4->n11_a_johnson_letter__1_3_1_4_2 n11_a_johnson_letter__1_3_1_4_1->n11_a_johnson_letter__1_3_1_4_1_1 n11_a_johnson_letter__1_3_1_4_2_1 NUM n11_a_johnson_letter__1_3_1_4_2->n11_a_johnson_letter__1_3_1_4_2_1 n11_a_johnson_letter__1_3_1_4_2_2 ADJP n11_a_johnson_letter__1_3_1_4_2->n11_a_johnson_letter__1_3_1_4_2_2 n11_a_johnson_letter__1_3_1_4_2_3 N n11_a_johnson_letter__1_3_1_4_2->n11_a_johnson_letter__1_3_1_4_2_3 n11_a_johnson_letter__1_3_1_4_2_4 PUNC n11_a_johnson_letter__1_3_1_4_2->n11_a_johnson_letter__1_3_1_4_2_4 n11_a_johnson_letter__1_3_1_4_2_5 PRN n11_a_johnson_letter__1_3_1_4_2->n11_a_johnson_letter__1_3_1_4_2_5 n11_a_johnson_letter__1_3_1_4_2_1->n11_a_johnson_letter__1_3_1_4_2_1_1 n11_a_johnson_letter__1_3_1_4_2_2_1 ADJ n11_a_johnson_letter__1_3_1_4_2_2->n11_a_johnson_letter__1_3_1_4_2_2_1 n11_a_johnson_letter__1_3_1_4_2_2_1->n11_a_johnson_letter__1_3_1_4_2_2_1_1 n11_a_johnson_letter__1_3_1_4_2_3->n11_a_johnson_letter__1_3_1_4_2_3_1 n11_a_johnson_letter__1_3_1_4_2_4->n11_a_johnson_letter__1_3_1_4_2_4_1 n11_a_johnson_letter__1_3_1_4_2_5_1 IP-MAT n11_a_johnson_letter__1_3_1_4_2_5->n11_a_johnson_letter__1_3_1_4_2_5_1 n11_a_johnson_letter__1_3_1_4_2_5_1_1 NP-SBJ n11_a_johnson_letter__1_3_1_4_2_5_1->n11_a_johnson_letter__1_3_1_4_2_5_1_1 n11_a_johnson_letter__1_3_1_4_2_5_1_2 MD;_cat_Vi_ n11_a_johnson_letter__1_3_1_4_2_5_1->n11_a_johnson_letter__1_3_1_4_2_5_1_2 n11_a_johnson_letter__1_3_1_4_2_5_1_3 IP-INF-CAT n11_a_johnson_letter__1_3_1_4_2_5_1->n11_a_johnson_letter__1_3_1_4_2_5_1_3 n11_a_johnson_letter__1_3_1_4_2_5_1_1_1 PRO n11_a_johnson_letter__1_3_1_4_2_5_1_1->n11_a_johnson_letter__1_3_1_4_2_5_1_1_1 n11_a_johnson_letter__1_3_1_4_2_5_1_1_1->n11_a_johnson_letter__1_3_1_4_2_5_1_1_1_1 n11_a_johnson_letter__1_3_1_4_2_5_1_2->n11_a_johnson_letter__1_3_1_4_2_5_1_2_1 n11_a_johnson_letter__1_3_1_4_2_5_1_3_1 VB;_Ipr_ n11_a_johnson_letter__1_3_1_4_2_5_1_3->n11_a_johnson_letter__1_3_1_4_2_5_1_3_1 n11_a_johnson_letter__1_3_1_4_2_5_1_3_2 PP-CLR n11_a_johnson_letter__1_3_1_4_2_5_1_3->n11_a_johnson_letter__1_3_1_4_2_5_1_3_2 n11_a_johnson_letter__1_3_1_4_2_5_1_3_1->n11_a_johnson_letter__1_3_1_4_2_5_1_3_1_1 n11_a_johnson_letter__1_3_1_4_2_5_1_3_2_1 P-ROLE n11_a_johnson_letter__1_3_1_4_2_5_1_3_2->n11_a_johnson_letter__1_3_1_4_2_5_1_3_2_1 n11_a_johnson_letter__1_3_1_4_2_5_1_3_2_2 NP n11_a_johnson_letter__1_3_1_4_2_5_1_3_2->n11_a_johnson_letter__1_3_1_4_2_5_1_3_2_2 n11_a_johnson_letter__1_3_1_4_2_5_1_3_2_1->n11_a_johnson_letter__1_3_1_4_2_5_1_3_2_1_1 n11_a_johnson_letter__1_3_1_4_2_5_1_3_2_2_1 N n11_a_johnson_letter__1_3_1_4_2_5_1_3_2_2->n11_a_johnson_letter__1_3_1_4_2_5_1_3_2_2_1 n11_a_johnson_letter__1_3_1_4_2_5_1_3_2_2_1->n11_a_johnson_letter__1_3_1_4_2_5_1_3_2_2_1_1 n11_a_johnson_letter__1_4->n11_a_johnson_letter__1_4_1 
( (IP-MAT (NP-SBJ (D;_nphd_ That;{that}))
          (BEP;_equ_Vw_ is;{be})
          (CP-QUE-PRD (IP-SUB (ADVP-NIM (WADV why;{why}))
                              (NP-SBJ (PRO we;{we}))
                              (BEP;_cat_Vg_ are;{be})
                              (IP-PPL-CAT (VAG;_Tn_ giving;{give})
                                          (NP-OB1 (NUM one;{one})
                                                  (ADJP (ADJ simple;{simple}))
                                                  (N instruction;{instruction})
                                                  (PUNC <hyphen>)
                                                  (PRN (IP-MAT (NP-SBJ (PRO you;{you}))
                                                               (MD;_cat_Vi_ must;{must})
                                                               (IP-INF-CAT (VB;_Ipr_ stay;{stay[at]})
                                                                           (PP-CLR (P-ROLE at;{at})
                                                                                   (NP (N home;{home}))))))))))
          (PUNC .))
  (ID 11_a_johnson_letter))