Context                Previous, Next                Top


62_a_history_of_qed
it supports multiple buffers, execution of buffers, and regular expressions with back - referencing.

%3 r_0062_0002__supports supports r_0062_0001__it it r_0062_0002__supports->r_0062_0001__it [arg0] r_0062_0010__and and r_0062_0002__supports->r_0062_0010__and [arg1] r_0062_0004__buffers buffers r_0062_0010__and->r_0062_0004__buffers [conj1] r_0062_0006__execution execution r_0062_0010__and->r_0062_0006__execution [conj2] r_0062_0012__expressions expressions r_0062_0010__and->r_0062_0012__expressions [conj3] r_0062_0003__multiple multiple r_0062_0004__buffers->r_0062_0003__multiple [attrib] r_0062_0008__buffers buffers r_0062_0006__execution->r_0062_0008__buffers of r_0062_0011__regular regular r_0062_0012__expressions->r_0062_0011__regular [attrib] r_0062_0014__back_r_0062_0016__referencing back referencing r_0062_0012__expressions->r_0062_0014__back_r_0062_0016__referencing with 
arc(r_0062_0002__supports, r_0062_0001__it, arg0).
arc(r_0062_0002__supports, r_0062_0010__and, arg1).
arc(r_0062_0004__buffers, r_0062_0003__multiple, attrib10).
arc(r_0062_0006__execution, r_0062_0008__buffers, r_0062_0007__of).
arc(r_0062_0010__and, r_0062_0004__buffers, conj1).
arc(r_0062_0010__and, r_0062_0006__execution, conj2).
arc(r_0062_0010__and, r_0062_0012__expressions, conj3).
arc(r_0062_0012__expressions, r_0062_0011__regular, attrib33).
arc(r_0062_0012__expressions, r_0062_0014__back_r_0062_0016__referencing, r_0062_0013__with).


%3 r_0062_0002__supports supports r_0062_0001__it it r_0062_0002__supports->r_0062_0001__it [arg0] r_0062_0010__and and r_0062_0002__supports->r_0062_0010__and [arg1] r_0062_0004__buffers buffers r_0062_0010__and->r_0062_0004__buffers [conj1] r_0062_0006__execution execution r_0062_0010__and->r_0062_0006__execution [conj2] r_0062_0012__expressions expressions r_0062_0010__and->r_0062_0012__expressions [conj3] r_0062_0003__multiple multiple r_0062_0004__buffers->r_0062_0003__multiple [attrib] r_0062_0008__buffers buffers r_0062_0006__execution->r_0062_0008__buffers of r_0062_0011__regular regular r_0062_0012__expressions->r_0062_0011__regular [attrib] r_0062_0014__back_r_0062_0016__referencing back referencing r_0062_0012__expressions->r_0062_0014__back_r_0062_0016__referencing with 
fof(formula,axiom,
    ? [R_62_2_SUPPORTS,R_62_1_IT,R_62_10_AND,R_62_4_BUFFERS,R_62_3_MULTIPLE,R_62_6_EXECUTION,R_62_8_BUFFERS,R_62_12_EXPRESSIONS,R_62_11_REGULAR,R_62_14_BACK_REFERENCING] :
      ( it(R_62_1_IT)
      & multiple(R_62_3_MULTIPLE)
      & buffers(R_62_8_BUFFERS)
      & regular(R_62_11_REGULAR)
      & back_referencing(R_62_14_BACK_REFERENCING)
      & supports(R_62_2_SUPPORTS,R_62_1_IT,R_62_10_AND)
      & and(R_62_10_AND)
      & conj1(R_62_10_AND,R_62_4_BUFFERS)
      & buffers(R_62_4_BUFFERS)
      & attrib10(R_62_4_BUFFERS,R_62_3_MULTIPLE)
      & conj2(R_62_10_AND,R_62_6_EXECUTION)
      & execution(R_62_6_EXECUTION)
      & of(R_62_6_EXECUTION,R_62_8_BUFFERS)
      & conj3(R_62_10_AND,R_62_12_EXPRESSIONS)
      & expressions(R_62_12_EXPRESSIONS)
      & attrib33(R_62_12_EXPRESSIONS,R_62_11_REGULAR)
      & with(R_62_12_EXPRESSIONS,R_62_14_BACK_REFERENCING) ) ).


n62_a_history_of_qed n62_a_history_of_qed_4 it n62_a_history_of_qed_6 supports n62_a_history_of_qed_12 multiple n62_a_history_of_qed_14 buffers n62_a_history_of_qed_16 , n62_a_history_of_qed_20 execution n62_a_history_of_qed_23 of n62_a_history_of_qed_26 buffers n62_a_history_of_qed_28 , n62_a_history_of_qed_31 and n62_a_history_of_qed_35 regular n62_a_history_of_qed_37 expressions n62_a_history_of_qed_40 with n62_a_history_of_qed_43 back n62_a_history_of_qed_45 - n62_a_history_of_qed_47 referencing n62_a_history_of_qed_49 . n62_a_history_of_qed_1 IP-MAT n62_a_history_of_qed_2 NP-SBJ n62_a_history_of_qed_1->n62_a_history_of_qed_2 n62_a_history_of_qed_5 VBP;__ n62_a_history_of_qed_1->n62_a_history_of_qed_5 n62_a_history_of_qed_7 NP-OB1 n62_a_history_of_qed_1->n62_a_history_of_qed_7 n62_a_history_of_qed_48 PUNC n62_a_history_of_qed_1->n62_a_history_of_qed_48 n62_a_history_of_qed_3 PRO n62_a_history_of_qed_2->n62_a_history_of_qed_3 n62_a_history_of_qed_3->n62_a_history_of_qed_4 n62_a_history_of_qed_5->n62_a_history_of_qed_6 n62_a_history_of_qed_8 NLYR n62_a_history_of_qed_7->n62_a_history_of_qed_8 n62_a_history_of_qed_9 NLYR n62_a_history_of_qed_8->n62_a_history_of_qed_9 n62_a_history_of_qed_15 PUNC n62_a_history_of_qed_8->n62_a_history_of_qed_15 n62_a_history_of_qed_17 CONJP n62_a_history_of_qed_8->n62_a_history_of_qed_17 n62_a_history_of_qed_27 PUNC n62_a_history_of_qed_8->n62_a_history_of_qed_27 n62_a_history_of_qed_29 CONJP n62_a_history_of_qed_8->n62_a_history_of_qed_29 n62_a_history_of_qed_10 ADJP n62_a_history_of_qed_9->n62_a_history_of_qed_10 n62_a_history_of_qed_13 NS n62_a_history_of_qed_9->n62_a_history_of_qed_13 n62_a_history_of_qed_11 ADJ n62_a_history_of_qed_10->n62_a_history_of_qed_11 n62_a_history_of_qed_11->n62_a_history_of_qed_12 n62_a_history_of_qed_13->n62_a_history_of_qed_14 n62_a_history_of_qed_15->n62_a_history_of_qed_16 n62_a_history_of_qed_18 NLYR n62_a_history_of_qed_17->n62_a_history_of_qed_18 n62_a_history_of_qed_19 N n62_a_history_of_qed_18->n62_a_history_of_qed_19 n62_a_history_of_qed_21 PP n62_a_history_of_qed_18->n62_a_history_of_qed_21 n62_a_history_of_qed_19->n62_a_history_of_qed_20 n62_a_history_of_qed_22 P-ROLE n62_a_history_of_qed_21->n62_a_history_of_qed_22 n62_a_history_of_qed_24 NP n62_a_history_of_qed_21->n62_a_history_of_qed_24 n62_a_history_of_qed_22->n62_a_history_of_qed_23 n62_a_history_of_qed_25 NS n62_a_history_of_qed_24->n62_a_history_of_qed_25 n62_a_history_of_qed_25->n62_a_history_of_qed_26 n62_a_history_of_qed_27->n62_a_history_of_qed_28 n62_a_history_of_qed_30 CONJ n62_a_history_of_qed_29->n62_a_history_of_qed_30 n62_a_history_of_qed_32 NLYR n62_a_history_of_qed_29->n62_a_history_of_qed_32 n62_a_history_of_qed_30->n62_a_history_of_qed_31 n62_a_history_of_qed_33 ADJP n62_a_history_of_qed_32->n62_a_history_of_qed_33 n62_a_history_of_qed_36 NS n62_a_history_of_qed_32->n62_a_history_of_qed_36 n62_a_history_of_qed_38 PP n62_a_history_of_qed_32->n62_a_history_of_qed_38 n62_a_history_of_qed_34 ADJ n62_a_history_of_qed_33->n62_a_history_of_qed_34 n62_a_history_of_qed_34->n62_a_history_of_qed_35 n62_a_history_of_qed_36->n62_a_history_of_qed_37 n62_a_history_of_qed_39 P-ROLE n62_a_history_of_qed_38->n62_a_history_of_qed_39 n62_a_history_of_qed_41 NP n62_a_history_of_qed_38->n62_a_history_of_qed_41 n62_a_history_of_qed_39->n62_a_history_of_qed_40 n62_a_history_of_qed_42 N n62_a_history_of_qed_41->n62_a_history_of_qed_42 n62_a_history_of_qed_44 PUNC n62_a_history_of_qed_41->n62_a_history_of_qed_44 n62_a_history_of_qed_46 N n62_a_history_of_qed_41->n62_a_history_of_qed_46 n62_a_history_of_qed_42->n62_a_history_of_qed_43 n62_a_history_of_qed_44->n62_a_history_of_qed_45 n62_a_history_of_qed_46->n62_a_history_of_qed_47 n62_a_history_of_qed_48->n62_a_history_of_qed_49 
( (IP-MAT (NP-SBJ;{TORONTO_QED} (PRO it;{it}))
          (VBP;__ supports;{support})
          (NP-OB1 (NLYR (NLYR (ADJP (ADJ multiple;{multiple}))
                              (NS buffers;{buffer}))
                        (PUNC ,)
                        (CONJP (NLYR (N execution;{execution})
                                     (PP (P-ROLE of;{of})
                                         (NP (NS buffers;{buffer})))))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (ADJP (ADJ regular;{regular}))
                                     (NS expressions;{expression})
                                     (PP (P-ROLE with;{with})
                                         (NP (N back;{back})
                                             (PUNC <hyphen>)
                                             (N referencing;{referencing})))))))
          (PUNC .))
  (ID 62_a_history_of_qed))