Context                Previous, Next                Top


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

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


%3 r_0025_0005__can_r_0025_0006__distinguish can distinguish r_0025_0002__a_r_0025_0003__glance a glance r_0025_0005__can_r_0025_0006__distinguish->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_0004__I [arg0] r_0025_0007__China China r_0025_0005__can_r_0025_0006__distinguish->r_0025_0007__China [arg1] r_0025_0009__Arizona Arizona r_0025_0005__can_r_0025_0006__distinguish->r_0025_0009__Arizona from [clr] 
fof(formula,axiom,
    ? [R_25_5_CAN_DISTINGUISH,R_25_4_I,R_25_7_CHINA,R_25_2_A_GLANCE,R_25_9_ARIZONA] :
      ( i(R_25_4_I)
      & china(R_25_7_CHINA)
      & a_glance(R_25_2_A_GLANCE)
      & arizona(R_25_9_ARIZONA)
      & can_distinguish(R_25_5_CAN_DISTINGUISH,R_25_4_I,R_25_7_CHINA)
      & at_nim5(R_25_5_CAN_DISTINGUISH,R_25_2_A_GLANCE)
      & from_clr24(R_25_5_CAN_DISTINGUISH,R_25_9_ARIZONA) ) ).


n25_a_saint_exupery_1943 n25_a_saint_exupery_1943_4 At n25_a_saint_exupery_1943_7 a n25_a_saint_exupery_1943_9 glance n25_a_saint_exupery_1943_12 I n25_a_saint_exupery_1943_14 can n25_a_saint_exupery_1943_17 distinguish n25_a_saint_exupery_1943_20 China n25_a_saint_exupery_1943_23 from n25_a_saint_exupery_1943_26 Arizona n25_a_saint_exupery_1943_28 . n25_a_saint_exupery_1943_1 IP-MAT n25_a_saint_exupery_1943_2 PP-NIM n25_a_saint_exupery_1943_1->n25_a_saint_exupery_1943_2 n25_a_saint_exupery_1943_10 NP-SBJ n25_a_saint_exupery_1943_1->n25_a_saint_exupery_1943_10 n25_a_saint_exupery_1943_13 MD;_cat_Vi_ n25_a_saint_exupery_1943_1->n25_a_saint_exupery_1943_13 n25_a_saint_exupery_1943_15 IP-INF-CAT n25_a_saint_exupery_1943_1->n25_a_saint_exupery_1943_15 n25_a_saint_exupery_1943_27 PUNC n25_a_saint_exupery_1943_1->n25_a_saint_exupery_1943_27 n25_a_saint_exupery_1943_3 P-ROLE n25_a_saint_exupery_1943_2->n25_a_saint_exupery_1943_3 n25_a_saint_exupery_1943_5 NP n25_a_saint_exupery_1943_2->n25_a_saint_exupery_1943_5 n25_a_saint_exupery_1943_3->n25_a_saint_exupery_1943_4 n25_a_saint_exupery_1943_6 D n25_a_saint_exupery_1943_5->n25_a_saint_exupery_1943_6 n25_a_saint_exupery_1943_8 N n25_a_saint_exupery_1943_5->n25_a_saint_exupery_1943_8 n25_a_saint_exupery_1943_6->n25_a_saint_exupery_1943_7 n25_a_saint_exupery_1943_8->n25_a_saint_exupery_1943_9 n25_a_saint_exupery_1943_11 PRO n25_a_saint_exupery_1943_10->n25_a_saint_exupery_1943_11 n25_a_saint_exupery_1943_11->n25_a_saint_exupery_1943_12 n25_a_saint_exupery_1943_13->n25_a_saint_exupery_1943_14 n25_a_saint_exupery_1943_16 VB;_Tn.pr_ n25_a_saint_exupery_1943_15->n25_a_saint_exupery_1943_16 n25_a_saint_exupery_1943_18 NP-OB1 n25_a_saint_exupery_1943_15->n25_a_saint_exupery_1943_18 n25_a_saint_exupery_1943_21 PP-CLR n25_a_saint_exupery_1943_15->n25_a_saint_exupery_1943_21 n25_a_saint_exupery_1943_16->n25_a_saint_exupery_1943_17 n25_a_saint_exupery_1943_19 NPR n25_a_saint_exupery_1943_18->n25_a_saint_exupery_1943_19 n25_a_saint_exupery_1943_19->n25_a_saint_exupery_1943_20 n25_a_saint_exupery_1943_22 P-ROLE n25_a_saint_exupery_1943_21->n25_a_saint_exupery_1943_22 n25_a_saint_exupery_1943_24 NP n25_a_saint_exupery_1943_21->n25_a_saint_exupery_1943_24 n25_a_saint_exupery_1943_22->n25_a_saint_exupery_1943_23 n25_a_saint_exupery_1943_25 NPR n25_a_saint_exupery_1943_24->n25_a_saint_exupery_1943_25 n25_a_saint_exupery_1943_25->n25_a_saint_exupery_1943_26 n25_a_saint_exupery_1943_27->n25_a_saint_exupery_1943_28 
( (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))