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_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_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_3 -LRB- n11_a_history_of_qed_7 Who n11_a_history_of_qed_9 said n11_a_history_of_qed_14 you n11_a_history_of_qed_16 could n11_a_history_of_qed_18 n't n11_a_history_of_qed_21 get n11_a_history_of_qed_24 a n11_a_history_of_qed_26 software n11_a_history_of_qed_28 patent n11_a_history_of_qed_31 until n11_a_history_of_qed_34 recently n11_a_history_of_qed_36 ? n11_a_history_of_qed_38 -RRB- n11_a_history_of_qed_1 CP-QUE-MAT n11_a_history_of_qed_2 PULB n11_a_history_of_qed_1->n11_a_history_of_qed_2 n11_a_history_of_qed_4 IP-SUB n11_a_history_of_qed_1->n11_a_history_of_qed_4 n11_a_history_of_qed_35 PUNC n11_a_history_of_qed_1->n11_a_history_of_qed_35 n11_a_history_of_qed_37 PURB n11_a_history_of_qed_1->n11_a_history_of_qed_37 n11_a_history_of_qed_2->n11_a_history_of_qed_3 n11_a_history_of_qed_5 NP-SBJ n11_a_history_of_qed_4->n11_a_history_of_qed_5 n11_a_history_of_qed_8 VBD;_Tf_ n11_a_history_of_qed_4->n11_a_history_of_qed_8 n11_a_history_of_qed_10 CP-THT-OB1 n11_a_history_of_qed_4->n11_a_history_of_qed_10 n11_a_history_of_qed_6 WPRO n11_a_history_of_qed_5->n11_a_history_of_qed_6 n11_a_history_of_qed_6->n11_a_history_of_qed_7 n11_a_history_of_qed_8->n11_a_history_of_qed_9 n11_a_history_of_qed_11 IP-SUB n11_a_history_of_qed_10->n11_a_history_of_qed_11 n11_a_history_of_qed_12 NP-SBJ n11_a_history_of_qed_11->n11_a_history_of_qed_12 n11_a_history_of_qed_15 MD;_cat_Vi_ n11_a_history_of_qed_11->n11_a_history_of_qed_15 n11_a_history_of_qed_17 NEG;_clitic_ n11_a_history_of_qed_11->n11_a_history_of_qed_17 n11_a_history_of_qed_19 IP-INF-CAT n11_a_history_of_qed_11->n11_a_history_of_qed_19 n11_a_history_of_qed_13 PRO n11_a_history_of_qed_12->n11_a_history_of_qed_13 n11_a_history_of_qed_13->n11_a_history_of_qed_14 n11_a_history_of_qed_15->n11_a_history_of_qed_16 n11_a_history_of_qed_17->n11_a_history_of_qed_18 n11_a_history_of_qed_20 VB;_Tn_ n11_a_history_of_qed_19->n11_a_history_of_qed_20 n11_a_history_of_qed_22 NP-OB1 n11_a_history_of_qed_19->n11_a_history_of_qed_22 n11_a_history_of_qed_29 PP-NIM n11_a_history_of_qed_19->n11_a_history_of_qed_29 n11_a_history_of_qed_20->n11_a_history_of_qed_21 n11_a_history_of_qed_23 D n11_a_history_of_qed_22->n11_a_history_of_qed_23 n11_a_history_of_qed_25 N n11_a_history_of_qed_22->n11_a_history_of_qed_25 n11_a_history_of_qed_27 N n11_a_history_of_qed_22->n11_a_history_of_qed_27 n11_a_history_of_qed_23->n11_a_history_of_qed_24 n11_a_history_of_qed_25->n11_a_history_of_qed_26 n11_a_history_of_qed_27->n11_a_history_of_qed_28 n11_a_history_of_qed_30 P-ROLE n11_a_history_of_qed_29->n11_a_history_of_qed_30 n11_a_history_of_qed_32 ADVP n11_a_history_of_qed_29->n11_a_history_of_qed_32 n11_a_history_of_qed_30->n11_a_history_of_qed_31 n11_a_history_of_qed_33 ADV n11_a_history_of_qed_32->n11_a_history_of_qed_33 n11_a_history_of_qed_33->n11_a_history_of_qed_34 n11_a_history_of_qed_35->n11_a_history_of_qed_36 n11_a_history_of_qed_37->n11_a_history_of_qed_38 
( (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))