Context                Previous, Next                Top


25_a_saint_exupery_1943
At a glance I can distinguish China from Arizona.

n25_a_saint_exupery_1943 n25_a_saint_exupery_1943__1_1_1_1 At n25_a_saint_exupery_1943__1_1_2_1_1 a n25_a_saint_exupery_1943__1_1_2_2_1 glance n25_a_saint_exupery_1943__1_2_1_1 I n25_a_saint_exupery_1943__1_3_1 can n25_a_saint_exupery_1943__1_4_1_1 distinguish n25_a_saint_exupery_1943__1_4_2_1_1 China n25_a_saint_exupery_1943__1_4_3_1_1 from n25_a_saint_exupery_1943__1_4_3_2_1_1 Arizona n25_a_saint_exupery_1943__1_5_1 . n25_a_saint_exupery_1943__1 IP-MAT n25_a_saint_exupery_1943__1_1 PP-NIM n25_a_saint_exupery_1943__1->n25_a_saint_exupery_1943__1_1 n25_a_saint_exupery_1943__1_2 NP-SBJ n25_a_saint_exupery_1943__1->n25_a_saint_exupery_1943__1_2 n25_a_saint_exupery_1943__1_3 MD;_cat_Vi_ n25_a_saint_exupery_1943__1->n25_a_saint_exupery_1943__1_3 n25_a_saint_exupery_1943__1_4 IP-INF-CAT n25_a_saint_exupery_1943__1->n25_a_saint_exupery_1943__1_4 n25_a_saint_exupery_1943__1_5 PUNC n25_a_saint_exupery_1943__1->n25_a_saint_exupery_1943__1_5 n25_a_saint_exupery_1943__1_1_1 P-ROLE n25_a_saint_exupery_1943__1_1->n25_a_saint_exupery_1943__1_1_1 n25_a_saint_exupery_1943__1_1_2 NP n25_a_saint_exupery_1943__1_1->n25_a_saint_exupery_1943__1_1_2 n25_a_saint_exupery_1943__1_1_1->n25_a_saint_exupery_1943__1_1_1_1 n25_a_saint_exupery_1943__1_1_2_1 D n25_a_saint_exupery_1943__1_1_2->n25_a_saint_exupery_1943__1_1_2_1 n25_a_saint_exupery_1943__1_1_2_2 N n25_a_saint_exupery_1943__1_1_2->n25_a_saint_exupery_1943__1_1_2_2 n25_a_saint_exupery_1943__1_1_2_1->n25_a_saint_exupery_1943__1_1_2_1_1 n25_a_saint_exupery_1943__1_1_2_2->n25_a_saint_exupery_1943__1_1_2_2_1 n25_a_saint_exupery_1943__1_2_1 PRO n25_a_saint_exupery_1943__1_2->n25_a_saint_exupery_1943__1_2_1 n25_a_saint_exupery_1943__1_2_1->n25_a_saint_exupery_1943__1_2_1_1 n25_a_saint_exupery_1943__1_3->n25_a_saint_exupery_1943__1_3_1 n25_a_saint_exupery_1943__1_4_1 VB;_Tn.pr_ n25_a_saint_exupery_1943__1_4->n25_a_saint_exupery_1943__1_4_1 n25_a_saint_exupery_1943__1_4_2 NP-OB1 n25_a_saint_exupery_1943__1_4->n25_a_saint_exupery_1943__1_4_2 n25_a_saint_exupery_1943__1_4_3 PP-CLR n25_a_saint_exupery_1943__1_4->n25_a_saint_exupery_1943__1_4_3 n25_a_saint_exupery_1943__1_4_1->n25_a_saint_exupery_1943__1_4_1_1 n25_a_saint_exupery_1943__1_4_2_1 NPR n25_a_saint_exupery_1943__1_4_2->n25_a_saint_exupery_1943__1_4_2_1 n25_a_saint_exupery_1943__1_4_2_1->n25_a_saint_exupery_1943__1_4_2_1_1 n25_a_saint_exupery_1943__1_4_3_1 P-ROLE n25_a_saint_exupery_1943__1_4_3->n25_a_saint_exupery_1943__1_4_3_1 n25_a_saint_exupery_1943__1_4_3_2 NP n25_a_saint_exupery_1943__1_4_3->n25_a_saint_exupery_1943__1_4_3_2 n25_a_saint_exupery_1943__1_4_3_1->n25_a_saint_exupery_1943__1_4_3_1_1 n25_a_saint_exupery_1943__1_4_3_2_1 NPR n25_a_saint_exupery_1943__1_4_3_2->n25_a_saint_exupery_1943__1_4_3_2_1 n25_a_saint_exupery_1943__1_4_3_2_1->n25_a_saint_exupery_1943__1_4_3_2_1_1 n25_a_saint_exupery_1943__1_5->n25_a_saint_exupery_1943__1_5_1 
( (IP-MAT (PP-NIM (P-ROLE At;{at})
                  (NP (D a;{a})
                      (N glance;{glance})))
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;_Tn.pr_ distinguish;{distinguish[from]})
                      (NP-OB1 (NPR China;{China}))
                      (PP-CLR (P-ROLE from;{from})
                              (NP (NPR Arizona;{Arizona}))))
          (PUNC .))
  (ID 25_a_saint_exupery_1943))


%3 r_0025_0006__distinguish_r_0025_0008__from distinguish from r_0025_0009__Arizona Arizona r_0025_0006__distinguish_r_0025_0008__from->r_0025_0009__Arizona [arg2] r_0025_0007__China China r_0025_0006__distinguish_r_0025_0008__from->r_0025_0007__China [arg1] r_0025_0004__I I r_0025_0006__distinguish_r_0025_0008__from->r_0025_0004__I [arg0] r_0025_0005__can can r_0025_0005__can->r_0025_0006__distinguish_r_0025_0008__from [scope] r_0025_0002__a_r_0025_0003__glance a glance r_0025_0005__can->r_0025_0002__a_r_0025_0003__glance At [nim] 
arc(r_0025_0005__can,r_0025_0002__a_r_0025_0003__glance,r_0025_0001__At__nim).
arc(r_0025_0005__can,r_0025_0006__distinguish_r_0025_0008__from,scope).
arc(r_0025_0006__distinguish_r_0025_0008__from,r_0025_0004__I,arg0).
arc(r_0025_0006__distinguish_r_0025_0008__from,r_0025_0007__China,arg1).
arc(r_0025_0006__distinguish_r_0025_0008__from,r_0025_0009__Arizona,arg2).


%3 r_0025_0005__can_r_0025_0006__distinguish_r_0025_0008__from can distinguish from r_0025_0002__a_r_0025_0003__glance a glance r_0025_0005__can_r_0025_0006__distinguish_r_0025_0008__from->r_0025_0002__a_r_0025_0003__glance At [nim] r_0025_0004__I I r_0025_0005__can_r_0025_0006__distinguish_r_0025_0008__from->r_0025_0004__I [arg0] r_0025_0007__China China r_0025_0005__can_r_0025_0006__distinguish_r_0025_0008__from->r_0025_0007__China [arg1] r_0025_0009__Arizona Arizona r_0025_0005__can_r_0025_0006__distinguish_r_0025_0008__from->r_0025_0009__Arizona [arg2] 
fof(formula,axiom,
    ? [R_0025_0002__A_R_0025_0003__GLANCE,R_0025_0004__I,R_0025_0007__CHINA,R_0025_0009__ARIZONA,R_0025_0005__CAN_R_0025_0006__DISTINGUISH_R_0025_0008__FROM] :
      ( r_0025_0002__a_r_0025_0003__glance(R_0025_0002__A_R_0025_0003__GLANCE)
      & r_0025_0004__I(R_0025_0004__I)
      & r_0025_0007__China(R_0025_0007__CHINA)
      & r_0025_0009__Arizona(R_0025_0009__ARIZONA)
      & r_0025_0005__can_r_0025_0006__distinguish_r_0025_0008__from(R_0025_0005__CAN_R_0025_0006__DISTINGUISH_R_0025_0008__FROM)
      & has_arg2(R_0025_0005__CAN_R_0025_0006__DISTINGUISH_R_0025_0008__FROM,R_0025_0009__ARIZONA)
      & has_arg1(R_0025_0005__CAN_R_0025_0006__DISTINGUISH_R_0025_0008__FROM,R_0025_0007__CHINA)
      & has_arg0(R_0025_0005__CAN_R_0025_0006__DISTINGUISH_R_0025_0008__FROM,R_0025_0004__I)
      & has_r_0025_0001__At__nim(R_0025_0005__CAN_R_0025_0006__DISTINGUISH_R_0025_0008__FROM,R_0025_0002__A_R_0025_0003__GLANCE) ) ).