45_a_paulfellows
The only trouble was, when you received an 0xFF from it, you didn't know if it was the first one or the second one.
( (IP-MAT (NP-SBJ (D The;{the})
(ADJP (ADJ only;{only}))
(N trouble;{trouble}))
(BED;_equ_Vf_ was;{be})
(PUNC ,)
(CP-THT-PRD (IP-SUB (PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ (PRO you;{you}))
(VBD;__ received;{receive})
(NP-OB1;{MESSAGE} (D an;{an})
(NPR 0xFF;{0xFF}))
(PP-NIM (P-ROLE from;{from})
(NP;{KEYBOARD} (PRO it;{it})))))
(PUNC ,)
(NP-SBJ (PRO you;{you}))
(DOD did;{do})
(NEG;_clitic_ n<apos>t;{not})
(VB;__ know;{know})
(CP-QUE-OB1 (IP-SUB (WQ if;{if})
(NP-SBJ;{MESSAGE} (PRO it;{it}))
(BED;_Ln_ was;{be})
(NP-PRD (NLYR (NLYR (D the;{the})
(ADJP (ADJ first;{first}))
(N one;{one}))
(CONJP (CONJ or;{or})
(NLYR (D the;{the})
(ADJP (ADJ second;{second}))
(N one;{one})))))))))
(PUNC .))
(ID 45_a_paulfellows))
arc(r_0045_0001__The_r_0045_0003__trouble,r_0045_0002__only,attrib).
arc(r_0045_0004__was,r_0045_0001__The_r_0045_0003__trouble,arg0).
arc(r_0045_0004__was,r_0045_0006__when,prd).
arc(r_0045_0006__when,r_0045_0008__received,restriction).
arc(r_0045_0006__when,r_0045_0016__n_apos_t,scope).
arc(r_0045_0008__received,r_0045_0007__you,arg0).
arc(r_0045_0008__received,r_0045_0009__an_r_0045_0010__0xFF,arg1).
arc(r_0045_0008__received,r_0045_0012__it,r_0045_0011__from__nim).
arc(r_0045_0015__did_r_0045_0017__know,r_0045_0007__you,arg0).
arc(r_0045_0015__did_r_0045_0017__know,r_0045_0018__if,arg1).
arc(r_0045_0016__n_apos_t,r_0045_0015__did_r_0045_0017__know,keep_scope).
arc(r_0045_0018__if,r_0045_0020__was,keep_scope).
arc(r_0045_0020__was,r_0045_0009__an_r_0045_0010__0xFF,arg0).
arc(r_0045_0020__was,r_0045_0024__or,prd).
arc(r_0045_0021__the_r_0045_0023__one,r_0045_0022__first,attrib).
arc(r_0045_0024__or,r_0045_0021__the_r_0045_0023__one,conj1).
arc(r_0045_0024__or,r_0045_0025__the_r_0045_0027__one,conj2).
arc(r_0045_0025__the_r_0045_0027__one,r_0045_0026__second,attrib).
fof(formula,axiom,
? [R_0045_0002__ONLY,R_0045_0001__THE_R_0045_0003__TROUBLE,R_0045_0004__WAS] :
( r_0045_0002__only(R_0045_0002__ONLY)
& r_0045_0004__was(R_0045_0004__WAS)
& ! [R_0045_0008__RECEIVED,R_0045_0007__YOU,R_0045_0009__AN_R_0045_0010__0XFF,R_0045_0012__IT] :
( ( r_0045_0007__you(R_0045_0007__YOU)
& r_0045_0009__an_r_0045_0010__0xFF(R_0045_0009__AN_R_0045_0010__0XFF)
& r_0045_0012__it(R_0045_0012__IT)
& r_0045_0008__received(R_0045_0008__RECEIVED)
& has_r_0045_0011__from__nim(R_0045_0008__RECEIVED,R_0045_0012__IT)
& has_arg1(R_0045_0008__RECEIVED,R_0045_0009__AN_R_0045_0010__0XFF)
& has_arg0(R_0045_0008__RECEIVED,R_0045_0007__YOU) )
=> ~ ? [R_0045_0022__FIRST,R_0045_0021__THE_R_0045_0023__ONE,R_0045_0026__SECOND,R_0045_0025__THE_R_0045_0027__ONE,R_0045_0024__OR,R_0045_0020__WAS,R_0045_0018__IF,R_0045_0015__DID_R_0045_0017__KNOW] :
( r_0045_0022__first(R_0045_0022__FIRST)
& r_0045_0026__second(R_0045_0026__SECOND)
& r_0045_0015__did_r_0045_0017__know(R_0045_0015__DID_R_0045_0017__KNOW)
& has_arg1(R_0045_0015__DID_R_0045_0017__KNOW,R_0045_0018__IF)
& r_0045_0018__if(R_0045_0018__IF)
& has_keep_scope(R_0045_0018__IF,R_0045_0020__WAS)
& r_0045_0020__was(R_0045_0020__WAS)
& has_prd(R_0045_0020__WAS,R_0045_0024__OR)
& r_0045_0024__or(R_0045_0024__OR)
& has_conj2(R_0045_0024__OR,R_0045_0025__THE_R_0045_0027__ONE)
& r_0045_0025__the_r_0045_0027__one(R_0045_0025__THE_R_0045_0027__ONE)
& has_attrib(R_0045_0025__THE_R_0045_0027__ONE,R_0045_0026__SECOND)
& has_conj1(R_0045_0024__OR,R_0045_0021__THE_R_0045_0023__ONE)
& r_0045_0021__the_r_0045_0023__one(R_0045_0021__THE_R_0045_0023__ONE)
& has_attrib(R_0045_0021__THE_R_0045_0023__ONE,R_0045_0022__FIRST)
& has_arg0(R_0045_0020__WAS,R_0045_0009__AN_R_0045_0010__0XFF)
& has_arg0(R_0045_0015__DID_R_0045_0017__KNOW,R_0045_0007__YOU) ) )
& has_arg0(R_0045_0004__WAS,R_0045_0001__THE_R_0045_0003__TROUBLE)
& r_0045_0001__The_r_0045_0003__trouble(R_0045_0001__THE_R_0045_0003__TROUBLE)
& has_attrib(R_0045_0001__THE_R_0045_0003__TROUBLE,R_0045_0002__ONLY) ) ).