2_a_johnson_letter
Read it in full here.
( (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))
arc(r_0002_0001__Read,r_0002_0002__it,arg1).
arc(r_0002_0001__Read,r_0002_0003__in_full,nim).
arc(r_0002_0001__Read,r_0002_0004__here,nim).
arc(r_0002_0001__Read,z_0002_5002,arg0).
fof(formula,axiom,
? [R_0002_0002__IT,R_0002_0003__IN_FULL,R_0002_0004__HERE,Z_0002_5002,R_0002_0001__READ] :
( r_0002_0002__it(R_0002_0002__IT)
& r_0002_0003__in_full(R_0002_0003__IN_FULL)
& r_0002_0004__here(R_0002_0004__HERE)
& z_0002_5002(Z_0002_5002)
& r_0002_0001__Read(R_0002_0001__READ)
& has_arg0(R_0002_0001__READ,Z_0002_5002)
& has_nim(R_0002_0001__READ,R_0002_0004__HERE)
& has_nim(R_0002_0001__READ,R_0002_0003__IN_FULL)
& has_arg1(R_0002_0001__READ,R_0002_0002__IT) ) ).