Context                Previous, Next                Top


146_a_dick_1952
Maybe you can discover —

%3 r_0146_0003__can can r_0146_0001__Maybe Maybe r_0146_0003__can->r_0146_0001__Maybe [nim] r_0146_0004__discover discover r_0146_0003__can->r_0146_0004__discover [scope] r_0146_0002__you you r_0146_0004__discover->r_0146_0002__you [arg0] r_0146_1001____star__ * r_0146_0004__discover->r_0146_1001____star__ [arg1] 
arc(r_0146_0003__can, r_0146_0001__Maybe, nim2).
arc(r_0146_0003__can, r_0146_0004__discover, scope).
arc(r_0146_0004__discover, r_0146_0002__you, arg0).
arc(r_0146_0004__discover, r_0146_1001____star__, arg1).


%3 r_0146_0003__can_r_0146_0004__discover can discover r_0146_1001____star__ * r_0146_0003__can_r_0146_0004__discover->r_0146_1001____star__ [arg1] r_0146_0002__you you r_0146_0003__can_r_0146_0004__discover->r_0146_0002__you [arg0] r_0146_0001__Maybe Maybe r_0146_0003__can_r_0146_0004__discover->r_0146_0001__Maybe [nim] 
fof(formula,axiom,
    ? [R_146_3_CAN_DISCOVER,R_146_2_YOU,R_146_1001__STAR_,R_146_1_MAYBE] :
      ( you(R_146_2_YOU)
      & _star_(R_146_1001__STAR_)
      & maybe(R_146_1_MAYBE)
      & can_discover(R_146_3_CAN_DISCOVER,R_146_2_YOU,R_146_1001__STAR_)
      & nim2(R_146_3_CAN_DISCOVER,R_146_1_MAYBE) ) ).


n146_a_dick_1952 n146_a_dick_1952__1_1_1_1 Maybe n146_a_dick_1952__1_2_1_1 you n146_a_dick_1952__1_3_1 can n146_a_dick_1952__1_4_1_1 discover n146_a_dick_1952__1_4_2_1_1 _*_ n146_a_dick_1952__1_5_1 <mdash> n146_a_dick_1952__1 IP-MAT n146_a_dick_1952__1_1 ADVP-NIM n146_a_dick_1952__1->n146_a_dick_1952__1_1 n146_a_dick_1952__1_2 NP-SBJ n146_a_dick_1952__1->n146_a_dick_1952__1_2 n146_a_dick_1952__1_3 MD;_cat_Vi_ n146_a_dick_1952__1->n146_a_dick_1952__1_3 n146_a_dick_1952__1_4 IP-INF-CAT n146_a_dick_1952__1->n146_a_dick_1952__1_4 n146_a_dick_1952__1_5 PUNC n146_a_dick_1952__1->n146_a_dick_1952__1_5 n146_a_dick_1952__1_1_1 ADV n146_a_dick_1952__1_1->n146_a_dick_1952__1_1_1 n146_a_dick_1952__1_1_1->n146_a_dick_1952__1_1_1_1 n146_a_dick_1952__1_2_1 PRO n146_a_dick_1952__1_2->n146_a_dick_1952__1_2_1 n146_a_dick_1952__1_2_1->n146_a_dick_1952__1_2_1_1 n146_a_dick_1952__1_3->n146_a_dick_1952__1_3_1 n146_a_dick_1952__1_4_1 VB;_Tn_ n146_a_dick_1952__1_4->n146_a_dick_1952__1_4_1 n146_a_dick_1952__1_4_2 NP-OB1 n146_a_dick_1952__1_4->n146_a_dick_1952__1_4_2 n146_a_dick_1952__1_4_1->n146_a_dick_1952__1_4_1_1 n146_a_dick_1952__1_4_2_1 N n146_a_dick_1952__1_4_2->n146_a_dick_1952__1_4_2_1 n146_a_dick_1952__1_4_2_1->n146_a_dick_1952__1_4_2_1_1 n146_a_dick_1952__1_5->n146_a_dick_1952__1_5_1 
( (IP-MAT (ADVP-NIM (ADV Maybe;{maybe}))
          (NP-SBJ;{FOMAR} (PRO you;{you}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;_Tn_ discover;{discover})
                      (NP-OB1 (N _*_)))
          (PUNC <mdash>))
  (ID 146_a_dick_1952))