11_a_johnson_letter
That is why we are giving one simple instruction - you must stay at home.
( (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))
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,nim).
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,attrib).
arc(r_0011_0007__one_r_0011_0009__instruction,r_0011_0012__must,prn).
arc(r_0011_0012__must,r_0011_0013__stay_r_0011_0014__at,scope).
arc(r_0011_0013__stay_r_0011_0014__at,r_0011_0011__you,arg0).
arc(r_0011_0013__stay_r_0011_0014__at,r_0011_0015__home,arg1).
fof(formula,axiom,
? [R_0011_0001__THAT,R_0011_0003__WHY,R_0011_0004__WE,R_0011_0008__SIMPLE,R_0011_0011__YOU,R_0011_0015__HOME,R_0011_0012__MUST_R_0011_0013__STAY_R_0011_0014__AT,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_0011__you(R_0011_0011__YOU)
& r_0011_0015__home(R_0011_0015__HOME)
& 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_prn(R_0011_0007__ONE_R_0011_0009__INSTRUCTION,R_0011_0012__MUST_R_0011_0013__STAY_R_0011_0014__AT)
& r_0011_0012__must_r_0011_0013__stay_r_0011_0014__at(R_0011_0012__MUST_R_0011_0013__STAY_R_0011_0014__AT)
& has_arg1(R_0011_0012__MUST_R_0011_0013__STAY_R_0011_0014__AT,R_0011_0015__HOME)
& has_arg0(R_0011_0012__MUST_R_0011_0013__STAY_R_0011_0014__AT,R_0011_0011__YOU)
& has_attrib(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_nim(R_0011_0005__ARE_R_0011_0006__GIVING,R_0011_0003__WHY)
& has_arg0(R_0011_0002__IS,R_0011_0001__THAT) ) ).