175_a_dick_1952
No one knows except the two of us.
arc(r_0175_0001__No_quant, r_0175_0002__one, restriction).
arc(r_0175_0001__No_quant, r_0175_0003__knows, scope).
arc(r_0175_0002__one, r_0175_0005__the_r_0175_0006__two, r_0175_0004__except).
arc(r_0175_0003__knows, r_0175_0002__one, arg0).
arc(r_0175_0005__the_r_0175_0006__two, r_0175_0008__us, r_0175_0007__of).
fof(formula,axiom,
! [R_175_2_ONE,R_175_5_THE_TWO,R_175_8_US] :
( ( us(R_175_8_US)
& one(R_175_2_ONE)
& except(R_175_2_ONE,R_175_5_THE_TWO)
& the_two(R_175_5_THE_TWO)
& of(R_175_5_THE_TWO,R_175_8_US) )
=> ? [R_175_3_KNOWS] : knows(R_175_3_KNOWS,R_175_2_ONE) ) ).
( (IP-MAT (NP-SBJ (Q No;{no})
(N one;{one})
(PP *ICH*-144))
(VBP;_I_ knows;{know})
(PP-EPD-144 (P-ROLE except;{except})
(NP (D the;{the})
(NUM two;{two})
(PP (P-ROLE of;{of})
(NP;{DORLE_NASHA} (PRO us;{we})))))
(PUNC .))
(ID 175_a_dick_1952))