46_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.
arc(r_0046_0001__The_r_0046_0003__trouble, r_0046_0002__only, attrib5).
arc(r_0046_0004__was, r_0046_0001__The_r_0046_0003__trouble, arg0).
arc(r_0046_0004__was, r_0046_0006__when, prd).
arc(r_0046_0006__when, r_0046_0008__received, restriction).
arc(r_0046_0006__when, r_0046_0016__n_apos_t, scope).
arc(r_0046_0008__received, r_0046_0007__you, arg0).
arc(r_0046_0008__received, r_0046_0009__an_r_0046_0010__0xFF, arg1).
arc(r_0046_0008__received, r_0046_0012__it, r_0046_0011__from_nim33).
arc(r_0046_0015__did_r_0046_0017__know, r_0046_0007__you, arg0).
arc(r_0046_0015__did_r_0046_0017__know, r_0046_0018__if_r_0046_0020__was, arg1).
arc(r_0046_0016__n_apos_t, r_0046_0015__did_r_0046_0017__know, keep_scope).
arc(r_0046_0018__if_r_0046_0020__was, r_0046_0009__an_r_0046_0010__0xFF, arg0).
arc(r_0046_0018__if_r_0046_0020__was, r_0046_0024__or, prd).
arc(r_0046_0021__the_r_0046_0023__one, r_0046_0022__first, attrib61).
arc(r_0046_0024__or, r_0046_0021__the_r_0046_0023__one, conj1).
arc(r_0046_0024__or, r_0046_0025__the_r_0046_0027__one, conj2).
arc(r_0046_0025__the_r_0046_0027__one, r_0046_0026__second, attrib72).
fof(formula,axiom,
? [R_46_4_WAS,R_46_1_THE_TROUBLE,R_46_2_ONLY] :
( only(R_46_2_ONLY)
& ! [R_46_8_RECEIVED,R_46_7_YOU,R_46_9_AN_XFF,R_46_12_IT] :
( ( you(R_46_7_YOU)
& an_xFF(R_46_9_AN_XFF)
& it(R_46_12_IT)
& received(R_46_8_RECEIVED,R_46_7_YOU,R_46_9_AN_XFF)
& from_nim33(R_46_8_RECEIVED,R_46_12_IT) )
=> ~ ? [R_46_15_DID_KNOW,R_46_18_IF_WAS,R_46_24_OR,R_46_21_THE_ONE,R_46_22_FIRST,R_46_25_THE_ONE,R_46_26_SECOND] :
( first(R_46_22_FIRST)
& second(R_46_26_SECOND)
& did_know(R_46_15_DID_KNOW,R_46_7_YOU,R_46_18_IF_WAS)
& if_was(R_46_18_IF_WAS,R_46_9_AN_XFF,R_46_24_OR)
& or(R_46_24_OR)
& conj1(R_46_24_OR,R_46_21_THE_ONE)
& the_one(R_46_21_THE_ONE)
& attrib61(R_46_21_THE_ONE,R_46_22_FIRST)
& conj2(R_46_24_OR,R_46_25_THE_ONE)
& the_one(R_46_25_THE_ONE)
& attrib72(R_46_25_THE_ONE,R_46_26_SECOND) ) )
& prd(PRD)
& was(R_46_4_WAS,R_46_1_THE_TROUBLE)
& the_trouble(R_46_1_THE_TROUBLE)
& attrib5(R_46_1_THE_TROUBLE,R_46_2_ONLY) ) ).
( (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 46_a_paulfellows))