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] z_000_146_a_dick_1952_13 r_0146_0004__discover->z_000_146_a_dick_1952_13 [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, z_000_146_a_dick_1952_13, arg1).


%3 r_0146_0003__can_r_0146_0004__discover can discover z_000_146_a_dick_1952_13 r_0146_0003__can_r_0146_0004__discover->z_000_146_a_dick_1952_13 [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_0146_0001__MAYBE,R_0146_0002__YOU,Z_000_146_A_DICK_1952_13,R_0146_0003__CAN_R_0146_0004__DISCOVER] :
      ( r_0146_0001__Maybe(R_0146_0001__MAYBE)
      & r_0146_0002__you(R_0146_0002__YOU)
      & z_000_146_a_dick_1952_13(Z_000_146_A_DICK_1952_13)
      & r_0146_0003__can_r_0146_0004__discover(R_0146_0003__CAN_R_0146_0004__DISCOVER)
      & has_arg1(R_0146_0003__CAN_R_0146_0004__DISCOVER,Z_000_146_A_DICK_1952_13)
      & has_arg0(R_0146_0003__CAN_R_0146_0004__DISCOVER,R_0146_0002__YOU)
      & has_nim2(R_0146_0003__CAN_R_0146_0004__DISCOVER,R_0146_0001__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))