2_a_johnson_letter
Read it in full here.
arc(r_0002_0001__Read, r_0002_0002__it, arg1).
arc(r_0002_0001__Read, r_0002_0003__in_full, nim7).
arc(r_0002_0001__Read, r_0002_0004__here, nim10).
arc(r_0002_0001__Read, z_000_2_a_johnson_letter_1, arg0).
fof(formula,axiom,
? [R_2_1_READ,Z_2_A_JOHNSON_LETTER_1,R_2_2_IT,R_2_4_HERE,R_2_3_IN_FULL] :
( it(R_2_2_IT)
& here(R_2_4_HERE)
& in_full(R_2_3_IN_FULL)
& read(R_2_1_READ,Z_2_A_JOHNSON_LETTER_1,R_2_2_IT)
& nim10(R_2_1_READ,R_2_4_HERE)
& nim7(R_2_1_READ,R_2_3_IN_FULL) ) ).
( (IP-IMP (VB;_Tn_ Read;{read})
(NP-OB1;{LETTER} (PRO it;{it}))
(ADVP-NIM (ADV in_full;{in_full}))
(ADVP-NIM (ADV here;{here}))
(PUNC .))
(ID 2_a_johnson_letter))