35_a_paulfellows
I thought it was quite smart, this design with this plastic moulding on the front and the keyboard that plugged in.
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBD;_Tf_ thought;{think})
(CP-THT-OB1 (IP-SUB (NP-SBJ (PRO;_provisional_ it;{it}))
(BED;_La_ was;{be})
(ADJP-PRD (ADVP (ADV quite;{quite}))
(ADJ smart;{smart}))
(PUNC ,)
(NP-NSBJ (D this;{this})
(N design;{design})
(PP (P-ROLE with;{with})
(NP (NLYR (NLYR (D this;{this})
(N plastic;{plastic})
(N moulding;{moulding})
(PP (P-ROLE on;{on})
(NP (D the;{the})
(N front;{front}))))
(CONJP (CONJ and;{and})
(NLYR (D the;{the})
(N keyboard;{keyboard})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(VBD;_Ip_ plugged;{plug[in]})
(RP in;{in}))))))))))
(PUNC .))
(ID 35_a_paulfellows))
arc(r_0035_0002__thought,r_0035_0001__I,arg0).
arc(r_0035_0002__thought,r_0035_0004__was,arg1).
arc(r_0035_0004__was,r_0035_0006__smart,prd).
arc(r_0035_0004__was,r_0035_0008__this_r_0035_0009__design,arg0).
arc(r_0035_0006__smart,r_0035_0005__quite,qual).
arc(r_0035_0008__this_r_0035_0009__design,r_0035_0017__and,r_0035_0010__with).
arc(r_0035_0011__this_r_0035_0012__plastic_r_0035_0013__moulding,r_0035_0015__the_r_0035_0016__front,r_0035_0014__on).
arc(r_0035_0017__and,r_0035_0011__this_r_0035_0012__plastic_r_0035_0013__moulding,conj1).
arc(r_0035_0017__and,r_0035_0018__the_r_0035_0019__keyboard,conj2).
arc(r_0035_0021__plugged_r_0035_0022__in,r_0035_0018__the_r_0035_0019__keyboard,inv_arg0).
fof(formula,axiom,
? [R_0035_0001__I,R_0035_0005__QUITE,R_0035_0006__SMART,R_0035_0015__THE_R_0035_0016__FRONT,R_0035_0011__THIS_R_0035_0012__PLASTIC_R_0035_0013__MOULDING,R_0035_0021__PLUGGED_R_0035_0022__IN,R_0035_0018__THE_R_0035_0019__KEYBOARD,R_0035_0017__AND,R_0035_0008__THIS_R_0035_0009__DESIGN,R_0035_0004__WAS,R_0035_0002__THOUGHT] :
( r_0035_0001__I(R_0035_0001__I)
& r_0035_0005__quite(R_0035_0005__QUITE)
& r_0035_0015__the_r_0035_0016__front(R_0035_0015__THE_R_0035_0016__FRONT)
& r_0035_0021__plugged_r_0035_0022__in(R_0035_0021__PLUGGED_R_0035_0022__IN)
& r_0035_0002__thought(R_0035_0002__THOUGHT)
& has_arg1(R_0035_0002__THOUGHT,R_0035_0004__WAS)
& r_0035_0004__was(R_0035_0004__WAS)
& has_arg0(R_0035_0004__WAS,R_0035_0008__THIS_R_0035_0009__DESIGN)
& r_0035_0008__this_r_0035_0009__design(R_0035_0008__THIS_R_0035_0009__DESIGN)
& has_r_0035_0010__with(R_0035_0008__THIS_R_0035_0009__DESIGN,R_0035_0017__AND)
& r_0035_0017__and(R_0035_0017__AND)
& has_conj2(R_0035_0017__AND,R_0035_0018__THE_R_0035_0019__KEYBOARD)
& r_0035_0018__the_r_0035_0019__keyboard(R_0035_0018__THE_R_0035_0019__KEYBOARD)
& has_inv_arg0(R_0035_0018__THE_R_0035_0019__KEYBOARD,R_0035_0021__PLUGGED_R_0035_0022__IN)
& has_conj1(R_0035_0017__AND,R_0035_0011__THIS_R_0035_0012__PLASTIC_R_0035_0013__MOULDING)
& r_0035_0011__this_r_0035_0012__plastic_r_0035_0013__moulding(R_0035_0011__THIS_R_0035_0012__PLASTIC_R_0035_0013__MOULDING)
& has_r_0035_0014__on(R_0035_0011__THIS_R_0035_0012__PLASTIC_R_0035_0013__MOULDING,R_0035_0015__THE_R_0035_0016__FRONT)
& has_prd(R_0035_0004__WAS,R_0035_0006__SMART)
& r_0035_0006__smart(R_0035_0006__SMART)
& has_qual(R_0035_0006__SMART,R_0035_0005__QUITE)
& has_arg0(R_0035_0002__THOUGHT,R_0035_0001__I) ) ).