Context                Previous, Next                Top


12_a_johnson_letter
You should not meet friends or relatives who do not live in your home.

%3 r_0012_0002__should should r_0012_0004__meet meet r_0012_0002__should->r_0012_0004__meet [scope] r_0012_0001__You You r_0012_0004__meet->r_0012_0001__You [arg0] r_0012_0006__or or r_0012_0004__meet->r_0012_0006__or [arg1] r_0012_0003__not not r_0012_0003__not->r_0012_0002__should [keep_scope] r_0012_0005__friends friends r_0012_0006__or->r_0012_0005__friends [conj1] r_0012_0007__relatives relatives r_0012_0006__or->r_0012_0007__relatives [conj2] r_0012_0009__do_r_0012_0011__live do live r_0012_0009__do_r_0012_0011__live->r_0012_0006__or [arg0] r_0012_0014__home home r_0012_0009__do_r_0012_0011__live->r_0012_0014__home in [clr] r_0012_0014__home->r_0012_0001__You [gen] r_0012_0010__not not r_0012_0010__not->r_0012_0009__do_r_0012_0011__live [keep_scope] 
arc(r_0012_0002__should, r_0012_0004__meet, scope).
arc(r_0012_0003__not, r_0012_0002__should, keep_scope).
arc(r_0012_0004__meet, r_0012_0001__You, arg0).
arc(r_0012_0004__meet, r_0012_0006__or, arg1).
arc(r_0012_0006__or, r_0012_0005__friends, conj1).
arc(r_0012_0006__or, r_0012_0007__relatives, conj2).
arc(r_0012_0009__do_r_0012_0011__live, r_0012_0006__or, arg0).
arc(r_0012_0009__do_r_0012_0011__live, r_0012_0014__home, r_0012_0012__in_clr36).
arc(r_0012_0010__not, r_0012_0009__do_r_0012_0011__live, keep_scope).
arc(r_0012_0014__home, r_0012_0001__You, gen).


%3 r_0012_0002__should_r_0012_0004__meet should meet r_0012_0001__You You r_0012_0002__should_r_0012_0004__meet->r_0012_0001__You [arg0] r_0012_0006__or or r_0012_0002__should_r_0012_0004__meet->r_0012_0006__or [arg1] r_0012_0005__friends friends r_0012_0006__or->r_0012_0005__friends [conj1] r_0012_0007__relatives relatives r_0012_0006__or->r_0012_0007__relatives [conj2] r_0012_0003__not not r_0012_0003__not->r_0012_0002__should_r_0012_0004__meet [keep_scope] r_0012_0009__do_r_0012_0011__live do live r_0012_0009__do_r_0012_0011__live->r_0012_0006__or [arg0] r_0012_0014__home home r_0012_0009__do_r_0012_0011__live->r_0012_0014__home in [clr] r_0012_0014__home->r_0012_0001__You [gen] r_0012_0010__not not r_0012_0010__not->r_0012_0009__do_r_0012_0011__live [keep_scope] 
fof(formula,axiom,
    ( ~ ? [R_12_2_SHOULD_MEET,R_12_1_YOU,R_12_6_OR,R_12_5_FRIENDS,R_12_7_RELATIVES] :
          ( you(R_12_1_YOU)
          & friends(R_12_5_FRIENDS)
          & relatives(R_12_7_RELATIVES)
          & should_meet(R_12_2_SHOULD_MEET,R_12_1_YOU,R_12_6_OR)
          & or(R_12_6_OR)
          & conj1(R_12_6_OR,R_12_5_FRIENDS)
          & conj2(R_12_6_OR,R_12_7_RELATIVES) )
    & ~ ? [R_12_9_DO_LIVE,R_12_6_OR,R_12_5_FRIENDS,R_12_7_RELATIVES,R_12_14_HOME,R_12_1_YOU] :
          ( friends(R_12_5_FRIENDS)
          & relatives(R_12_7_RELATIVES)
          & you(R_12_1_YOU)
          & do_live(R_12_9_DO_LIVE,R_12_6_OR)
          & or(R_12_6_OR)
          & conj1(R_12_6_OR,R_12_5_FRIENDS)
          & conj2(R_12_6_OR,R_12_7_RELATIVES)
          & in_clr36(R_12_9_DO_LIVE,R_12_14_HOME)
          & home(R_12_14_HOME)
          & gen(R_12_14_HOME,R_12_1_YOU) ) ) ).


n12_a_johnson_letter n12_a_johnson_letter_4 You n12_a_johnson_letter_6 should n12_a_johnson_letter_8 not n12_a_johnson_letter_11 meet n12_a_johnson_letter_16 friends n12_a_johnson_letter_19 or n12_a_johnson_letter_22 relatives n12_a_johnson_letter_26 who n12_a_johnson_letter_28 do n12_a_johnson_letter_30 not n12_a_johnson_letter_32 live n12_a_johnson_letter_35 in n12_a_johnson_letter_39 your n12_a_johnson_letter_41 home n12_a_johnson_letter_43 . n12_a_johnson_letter_1 IP-MAT n12_a_johnson_letter_2 NP-SBJ n12_a_johnson_letter_1->n12_a_johnson_letter_2 n12_a_johnson_letter_5 MD;_cat_Vi_ n12_a_johnson_letter_1->n12_a_johnson_letter_5 n12_a_johnson_letter_7 NEG n12_a_johnson_letter_1->n12_a_johnson_letter_7 n12_a_johnson_letter_9 IP-INF-CAT n12_a_johnson_letter_1->n12_a_johnson_letter_9 n12_a_johnson_letter_42 PUNC n12_a_johnson_letter_1->n12_a_johnson_letter_42 n12_a_johnson_letter_3 PRO n12_a_johnson_letter_2->n12_a_johnson_letter_3 n12_a_johnson_letter_3->n12_a_johnson_letter_4 n12_a_johnson_letter_5->n12_a_johnson_letter_6 n12_a_johnson_letter_7->n12_a_johnson_letter_8 n12_a_johnson_letter_10 VB;_Tn_ n12_a_johnson_letter_9->n12_a_johnson_letter_10 n12_a_johnson_letter_12 NP-OB1 n12_a_johnson_letter_9->n12_a_johnson_letter_12 n12_a_johnson_letter_10->n12_a_johnson_letter_11 n12_a_johnson_letter_13 NLYR n12_a_johnson_letter_12->n12_a_johnson_letter_13 n12_a_johnson_letter_23 IP-REL n12_a_johnson_letter_12->n12_a_johnson_letter_23 n12_a_johnson_letter_14 NLYR n12_a_johnson_letter_13->n12_a_johnson_letter_14 n12_a_johnson_letter_17 CONJP n12_a_johnson_letter_13->n12_a_johnson_letter_17 n12_a_johnson_letter_15 NS n12_a_johnson_letter_14->n12_a_johnson_letter_15 n12_a_johnson_letter_15->n12_a_johnson_letter_16 n12_a_johnson_letter_18 CONJ n12_a_johnson_letter_17->n12_a_johnson_letter_18 n12_a_johnson_letter_20 NLYR n12_a_johnson_letter_17->n12_a_johnson_letter_20 n12_a_johnson_letter_18->n12_a_johnson_letter_19 n12_a_johnson_letter_21 NS n12_a_johnson_letter_20->n12_a_johnson_letter_21 n12_a_johnson_letter_21->n12_a_johnson_letter_22 n12_a_johnson_letter_24 NP-SBJ n12_a_johnson_letter_23->n12_a_johnson_letter_24 n12_a_johnson_letter_27 DOP n12_a_johnson_letter_23->n12_a_johnson_letter_27 n12_a_johnson_letter_29 NEG n12_a_johnson_letter_23->n12_a_johnson_letter_29 n12_a_johnson_letter_31 VB;_Ipr_ n12_a_johnson_letter_23->n12_a_johnson_letter_31 n12_a_johnson_letter_33 PP-CLR n12_a_johnson_letter_23->n12_a_johnson_letter_33 n12_a_johnson_letter_25 RPRO n12_a_johnson_letter_24->n12_a_johnson_letter_25 n12_a_johnson_letter_25->n12_a_johnson_letter_26 n12_a_johnson_letter_27->n12_a_johnson_letter_28 n12_a_johnson_letter_29->n12_a_johnson_letter_30 n12_a_johnson_letter_31->n12_a_johnson_letter_32 n12_a_johnson_letter_34 P-ROLE n12_a_johnson_letter_33->n12_a_johnson_letter_34 n12_a_johnson_letter_36 NP n12_a_johnson_letter_33->n12_a_johnson_letter_36 n12_a_johnson_letter_34->n12_a_johnson_letter_35 n12_a_johnson_letter_37 NP-GEN n12_a_johnson_letter_36->n12_a_johnson_letter_37 n12_a_johnson_letter_40 N n12_a_johnson_letter_36->n12_a_johnson_letter_40 n12_a_johnson_letter_38 PRO;_genm_ n12_a_johnson_letter_37->n12_a_johnson_letter_38 n12_a_johnson_letter_38->n12_a_johnson_letter_39 n12_a_johnson_letter_40->n12_a_johnson_letter_41 n12_a_johnson_letter_42->n12_a_johnson_letter_43 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ should;{shall})
          (NEG not;{not})
          (IP-INF-CAT (VB;_Tn_ meet;{meet})
                      (NP-OB1 (NLYR (NLYR (NS friends;{friend}))
                                    (CONJP (CONJ or;{or})
                                           (NLYR (NS relatives;{relative}))))
                              (IP-REL (NP-SBJ (RPRO who;{who}))
                                      (DOP do;{do})
                                      (NEG not;{not})
                                      (VB;_Ipr_ live;{live[in]})
                                      (PP-CLR (P-ROLE in;{in})
                                              (NP (NP-GEN (PRO;_genm_ your;{your}))
                                                  (N home;{home}))))))
          (PUNC .))
  (ID 12_a_johnson_letter))