Context                Previous, Next                Top


11_a_history_of_qed
(Who said you couldn't get a software patent until recently?)

%3 r_0011_0003__said said r_0011_0002__Who Who r_0011_0003__said->r_0011_0002__Who [arg0] r_0011_0006__n_apos_t n't r_0011_0003__said->r_0011_0006__n_apos_t [arg1] r_0011_0005__could could r_0011_0006__n_apos_t->r_0011_0005__could [keep_scope] r_0011_0007__get get r_0011_0005__could->r_0011_0007__get [scope] r_0011_0004__you you r_0011_0007__get->r_0011_0004__you [arg0] r_0011_0008__a_r_0011_0009__software_r_0011_0010__patent a software patent r_0011_0007__get->r_0011_0008__a_r_0011_0009__software_r_0011_0010__patent [arg1] r_0011_0012__recently recently r_0011_0007__get->r_0011_0012__recently until [nim] 
arc(r_0011_0003__said, r_0011_0002__Who, arg0).
arc(r_0011_0003__said, r_0011_0006__n_apos_t, arg1).
arc(r_0011_0005__could, r_0011_0007__get, scope).
arc(r_0011_0006__n_apos_t, r_0011_0005__could, keep_scope).
arc(r_0011_0007__get, r_0011_0004__you, arg0).
arc(r_0011_0007__get, r_0011_0008__a_r_0011_0009__software_r_0011_0010__patent, arg1).
arc(r_0011_0007__get, r_0011_0012__recently, r_0011_0011__until_nim32).


%3 r_0011_0005__could_r_0011_0007__get could get r_0011_0012__recently recently r_0011_0005__could_r_0011_0007__get->r_0011_0012__recently until [nim] r_0011_0008__a_r_0011_0009__software_r_0011_0010__patent a software patent r_0011_0005__could_r_0011_0007__get->r_0011_0008__a_r_0011_0009__software_r_0011_0010__patent [arg1] r_0011_0004__you you r_0011_0005__could_r_0011_0007__get->r_0011_0004__you [arg0] r_0011_0006__n_apos_t n't r_0011_0006__n_apos_t->r_0011_0005__could_r_0011_0007__get [keep_scope] r_0011_0003__said said r_0011_0003__said->r_0011_0006__n_apos_t [arg1] r_0011_0002__Who Who r_0011_0003__said->r_0011_0002__Who [arg0] 
fof(formula,axiom,
    ? [R_11_3_SAID,R_11_2_WHO] :
      ( who(R_11_2_WHO)
      & said(R_11_3_SAID,R_11_2_WHO,R_11_6_N_APOS_T)
      & ~ ? [R_11_5_COULD_GET,R_11_4_YOU,R_11_8_A_SOFTWARE_PATENT,R_11_12_RECENTLY] :
            ( you(R_11_4_YOU)
            & a_software_patent(R_11_8_A_SOFTWARE_PATENT)
            & recently(R_11_12_RECENTLY)
            & could_get(R_11_5_COULD_GET,R_11_4_YOU,R_11_8_A_SOFTWARE_PATENT)
            & until_nim32(R_11_5_COULD_GET,R_11_12_RECENTLY) ) ) ).


n11_a_history_of_qed n11_a_history_of_qed__1_1_1 -LRB- n11_a_history_of_qed__1_2_1_1_1 Who n11_a_history_of_qed__1_2_2_1 said n11_a_history_of_qed__1_2_3_1_1_1_1 you n11_a_history_of_qed__1_2_3_1_2_1 could n11_a_history_of_qed__1_2_3_1_3_1 n't n11_a_history_of_qed__1_2_3_1_4_1_1 get n11_a_history_of_qed__1_2_3_1_4_2_1_1 a n11_a_history_of_qed__1_2_3_1_4_2_2_1 software n11_a_history_of_qed__1_2_3_1_4_2_3_1 patent n11_a_history_of_qed__1_2_3_1_4_3_1_1 until n11_a_history_of_qed__1_2_3_1_4_3_2_1_1 recently n11_a_history_of_qed__1_3_1 ? n11_a_history_of_qed__1_4_1 -RRB- n11_a_history_of_qed__1 CP-QUE-MAT n11_a_history_of_qed__1_1 PULB n11_a_history_of_qed__1->n11_a_history_of_qed__1_1 n11_a_history_of_qed__1_2 IP-SUB n11_a_history_of_qed__1->n11_a_history_of_qed__1_2 n11_a_history_of_qed__1_3 PUNC n11_a_history_of_qed__1->n11_a_history_of_qed__1_3 n11_a_history_of_qed__1_4 PURB n11_a_history_of_qed__1->n11_a_history_of_qed__1_4 n11_a_history_of_qed__1_1->n11_a_history_of_qed__1_1_1 n11_a_history_of_qed__1_2_1 NP-SBJ n11_a_history_of_qed__1_2->n11_a_history_of_qed__1_2_1 n11_a_history_of_qed__1_2_2 VBD;_Tf_ n11_a_history_of_qed__1_2->n11_a_history_of_qed__1_2_2 n11_a_history_of_qed__1_2_3 CP-THT-OB1 n11_a_history_of_qed__1_2->n11_a_history_of_qed__1_2_3 n11_a_history_of_qed__1_2_1_1 WPRO n11_a_history_of_qed__1_2_1->n11_a_history_of_qed__1_2_1_1 n11_a_history_of_qed__1_2_1_1->n11_a_history_of_qed__1_2_1_1_1 n11_a_history_of_qed__1_2_2->n11_a_history_of_qed__1_2_2_1 n11_a_history_of_qed__1_2_3_1 IP-SUB n11_a_history_of_qed__1_2_3->n11_a_history_of_qed__1_2_3_1 n11_a_history_of_qed__1_2_3_1_1 NP-SBJ n11_a_history_of_qed__1_2_3_1->n11_a_history_of_qed__1_2_3_1_1 n11_a_history_of_qed__1_2_3_1_2 MD;_cat_Vi_ n11_a_history_of_qed__1_2_3_1->n11_a_history_of_qed__1_2_3_1_2 n11_a_history_of_qed__1_2_3_1_3 NEG;_clitic_ n11_a_history_of_qed__1_2_3_1->n11_a_history_of_qed__1_2_3_1_3 n11_a_history_of_qed__1_2_3_1_4 IP-INF-CAT n11_a_history_of_qed__1_2_3_1->n11_a_history_of_qed__1_2_3_1_4 n11_a_history_of_qed__1_2_3_1_1_1 PRO n11_a_history_of_qed__1_2_3_1_1->n11_a_history_of_qed__1_2_3_1_1_1 n11_a_history_of_qed__1_2_3_1_1_1->n11_a_history_of_qed__1_2_3_1_1_1_1 n11_a_history_of_qed__1_2_3_1_2->n11_a_history_of_qed__1_2_3_1_2_1 n11_a_history_of_qed__1_2_3_1_3->n11_a_history_of_qed__1_2_3_1_3_1 n11_a_history_of_qed__1_2_3_1_4_1 VB;_Tn_ n11_a_history_of_qed__1_2_3_1_4->n11_a_history_of_qed__1_2_3_1_4_1 n11_a_history_of_qed__1_2_3_1_4_2 NP-OB1 n11_a_history_of_qed__1_2_3_1_4->n11_a_history_of_qed__1_2_3_1_4_2 n11_a_history_of_qed__1_2_3_1_4_3 PP-NIM n11_a_history_of_qed__1_2_3_1_4->n11_a_history_of_qed__1_2_3_1_4_3 n11_a_history_of_qed__1_2_3_1_4_1->n11_a_history_of_qed__1_2_3_1_4_1_1 n11_a_history_of_qed__1_2_3_1_4_2_1 D n11_a_history_of_qed__1_2_3_1_4_2->n11_a_history_of_qed__1_2_3_1_4_2_1 n11_a_history_of_qed__1_2_3_1_4_2_2 N n11_a_history_of_qed__1_2_3_1_4_2->n11_a_history_of_qed__1_2_3_1_4_2_2 n11_a_history_of_qed__1_2_3_1_4_2_3 N n11_a_history_of_qed__1_2_3_1_4_2->n11_a_history_of_qed__1_2_3_1_4_2_3 n11_a_history_of_qed__1_2_3_1_4_2_1->n11_a_history_of_qed__1_2_3_1_4_2_1_1 n11_a_history_of_qed__1_2_3_1_4_2_2->n11_a_history_of_qed__1_2_3_1_4_2_2_1 n11_a_history_of_qed__1_2_3_1_4_2_3->n11_a_history_of_qed__1_2_3_1_4_2_3_1 n11_a_history_of_qed__1_2_3_1_4_3_1 P-ROLE n11_a_history_of_qed__1_2_3_1_4_3->n11_a_history_of_qed__1_2_3_1_4_3_1 n11_a_history_of_qed__1_2_3_1_4_3_2 ADVP n11_a_history_of_qed__1_2_3_1_4_3->n11_a_history_of_qed__1_2_3_1_4_3_2 n11_a_history_of_qed__1_2_3_1_4_3_1->n11_a_history_of_qed__1_2_3_1_4_3_1_1 n11_a_history_of_qed__1_2_3_1_4_3_2_1 ADV n11_a_history_of_qed__1_2_3_1_4_3_2->n11_a_history_of_qed__1_2_3_1_4_3_2_1 n11_a_history_of_qed__1_2_3_1_4_3_2_1->n11_a_history_of_qed__1_2_3_1_4_3_2_1_1 n11_a_history_of_qed__1_3->n11_a_history_of_qed__1_3_1 n11_a_history_of_qed__1_4->n11_a_history_of_qed__1_4_1 
( (CP-QUE-MAT (PULB -LRB-)
              (IP-SUB (NP-SBJ (WPRO Who;{who}))
                      (VBD;_Tf_ said;{say})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO you;{you}))
                                          (MD;_cat_Vi_ could;{can})
                                          (NEG;_clitic_ n<apos>t;{not})
                                          (IP-INF-CAT (VB;_Tn_ get;{get})
                                                      (NP-OB1 (D a;{a})
                                                              (N software;{software})
                                                              (N patent;{patent}))
                                                      (PP-NIM (P-ROLE until;{until})
                                                              (ADVP (ADV recently;{recently})))))))
              (PUNC ?)
              (PURB -RRB-))
  (ID 11_a_history_of_qed))