Context                Previous, Next                Top


11_a_history_of_qed
(Who said you couldn't get a software patent until 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))


%3 r_0011_0007__get get r_0011_0012__recently recently 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_0007__get->r_0011_0008__a_r_0011_0009__software_r_0011_0010__patent [arg1] r_0011_0004__you you r_0011_0007__get->r_0011_0004__you [arg0] r_0011_0006__n_apos_t n't r_0011_0005__could could r_0011_0006__n_apos_t->r_0011_0005__could [keep_scope] r_0011_0005__could->r_0011_0007__get [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] 
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__nim).


%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_r_0011_0007__get could get r_0011_0006__n_apos_t->r_0011_0005__could_r_0011_0007__get [keep_scope] r_0011_0004__you you r_0011_0005__could_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_0005__could_r_0011_0007__get->r_0011_0008__a_r_0011_0009__software_r_0011_0010__patent [arg1] r_0011_0012__recently recently r_0011_0005__could_r_0011_0007__get->r_0011_0012__recently until [nim] 
fof(formula,axiom,
    ? [R_0011_0002__WHO,R_0011_0003__SAID] :
      ( r_0011_0002__Who(R_0011_0002__WHO)
      & r_0011_0003__said(R_0011_0003__SAID)
      & has_arg1(R_0011_0003__SAID,R_0011_0006__N_APOS_T)
      & ~ ? [R_0011_0004__YOU,R_0011_0008__A_R_0011_0009__SOFTWARE_R_0011_0010__PATENT,R_0011_0012__RECENTLY,R_0011_0005__COULD_R_0011_0007__GET] :
            ( r_0011_0004__you(R_0011_0004__YOU)
            & r_0011_0008__a_r_0011_0009__software_r_0011_0010__patent(R_0011_0008__A_R_0011_0009__SOFTWARE_R_0011_0010__PATENT)
            & r_0011_0012__recently(R_0011_0012__RECENTLY)
            & r_0011_0005__could_r_0011_0007__get(R_0011_0005__COULD_R_0011_0007__GET)
            & has_r_0011_0011__until__nim(R_0011_0005__COULD_R_0011_0007__GET,R_0011_0012__RECENTLY)
            & has_arg1(R_0011_0005__COULD_R_0011_0007__GET,R_0011_0008__A_R_0011_0009__SOFTWARE_R_0011_0010__PATENT)
            & has_arg0(R_0011_0005__COULD_R_0011_0007__GET,R_0011_0004__YOU) )
      & has_arg0(R_0011_0003__SAID,R_0011_0002__WHO) ) ).