Context                Previous, Next                Top


119_a_wilde_1_1888
Every one quoted it,

%3 r_0119_0001__Every_quant Every [quant] r_0119_0002__one one r_0119_0001__Every_quant->r_0119_0002__one [restriction] r_0119_0003__quoted quoted r_0119_0001__Every_quant->r_0119_0003__quoted [scope] r_0119_0003__quoted->r_0119_0002__one [arg0] r_0119_0004__it it r_0119_0003__quoted->r_0119_0004__it [arg1] 
arc(r_0119_0001__Every_quant, r_0119_0002__one, restriction).
arc(r_0119_0001__Every_quant, r_0119_0003__quoted, scope).
arc(r_0119_0003__quoted, r_0119_0002__one, arg0).
arc(r_0119_0003__quoted, r_0119_0004__it, arg1).


%3 r_0119_0003__quoted quoted r_0119_0004__it it r_0119_0003__quoted->r_0119_0004__it [arg1] r_0119_0002__one one r_0119_0003__quoted->r_0119_0002__one [arg0] r_0119_0001__Every_quant Every [quant] r_0119_0001__Every_quant->r_0119_0003__quoted [scope] r_0119_0001__Every_quant->r_0119_0002__one [restriction] 
fof(formula,axiom,
    ! [R_0119_0002__ONE] :
      ( r_0119_0002__one(R_0119_0002__ONE)
     => ? [R_0119_0004__IT,R_0119_0003__QUOTED] :
          ( r_0119_0004__it(R_0119_0004__IT)
          & r_0119_0003__quoted(R_0119_0003__QUOTED)
          & has_arg1(R_0119_0003__QUOTED,R_0119_0004__IT)
          & has_arg0(R_0119_0003__QUOTED,R_0119_0002__ONE) ) ) ).


n119_a_wilde_1_1888 n119_a_wilde_1_1888__1_1_1_1 Every n119_a_wilde_1_1888__1_1_2_1 one n119_a_wilde_1_1888__1_2_1 quoted n119_a_wilde_1_1888__1_3_1_1 it n119_a_wilde_1_1888__1_4_1 , n119_a_wilde_1_1888__1 IP-MAT n119_a_wilde_1_1888__1_1 NP-SBJ n119_a_wilde_1_1888__1->n119_a_wilde_1_1888__1_1 n119_a_wilde_1_1888__1_2 VBD;_Tn_ n119_a_wilde_1_1888__1->n119_a_wilde_1_1888__1_2 n119_a_wilde_1_1888__1_3 NP-OB1 n119_a_wilde_1_1888__1->n119_a_wilde_1_1888__1_3 n119_a_wilde_1_1888__1_4 PUNC n119_a_wilde_1_1888__1->n119_a_wilde_1_1888__1_4 n119_a_wilde_1_1888__1_1_1 Q n119_a_wilde_1_1888__1_1->n119_a_wilde_1_1888__1_1_1 n119_a_wilde_1_1888__1_1_2 N n119_a_wilde_1_1888__1_1->n119_a_wilde_1_1888__1_1_2 n119_a_wilde_1_1888__1_1_1->n119_a_wilde_1_1888__1_1_1_1 n119_a_wilde_1_1888__1_1_2->n119_a_wilde_1_1888__1_1_2_1 n119_a_wilde_1_1888__1_2->n119_a_wilde_1_1888__1_2_1 n119_a_wilde_1_1888__1_3_1 PRO n119_a_wilde_1_1888__1_3->n119_a_wilde_1_1888__1_3_1 n119_a_wilde_1_1888__1_3_1->n119_a_wilde_1_1888__1_3_1_1 n119_a_wilde_1_1888__1_4->n119_a_wilde_1_1888__1_4_1 
( (IP-MAT (NP-SBJ;{PERSONS} (Q Every;{every})
                            (N one;{one}))
          (VBD;_Tn_ quoted;{quote})
          (NP-OB1;{LONG_LETTER} (PRO it;{it}))
          (PUNC ,))
  (ID 119_a_wilde_1_1888))