11_a_johnson_letter
That is why we are giving one simple instruction - you must stay at home.
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).
fof(formula,axiom,
? [R_11_2_IS,R_11_1_THAT,R_11_5_ARE_GIVING,R_11_4_WE,R_11_7_ONE_INSTRUCTION,R_11_8_SIMPLE,R_11_3_WHY] :
( that(R_11_1_THAT)
& we(R_11_4_WE)
& simple(R_11_8_SIMPLE)
& why(R_11_3_WHY)
& is(R_11_2_IS,R_11_1_THAT,R_11_5_ARE_GIVING)
& are_giving(R_11_5_ARE_GIVING,R_11_4_WE,R_11_7_ONE_INSTRUCTION)
& one_instruction(R_11_7_ONE_INSTRUCTION)
& attrib23(R_11_7_ONE_INSTRUCTION,R_11_8_SIMPLE)
& nim9(R_11_5_ARE_GIVING,R_11_3_WHY) ) ).
( (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))