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__1_1_1_1 it n62_a_history_of_qed__1_2_1 supports n62_a_history_of_qed__1_3_1_1_1_1_1 multiple n62_a_history_of_qed__1_3_1_1_2_1 buffers n62_a_history_of_qed__1_3_1_2_1 , n62_a_history_of_qed__1_3_1_3_1_1_1 execution n62_a_history_of_qed__1_3_1_3_1_2_1_1 of n62_a_history_of_qed__1_3_1_3_1_2_2_1_1 buffers n62_a_history_of_qed__1_3_1_4_1 , n62_a_history_of_qed__1_3_1_5_1_1 and n62_a_history_of_qed__1_3_1_5_2_1_1_1 regular n62_a_history_of_qed__1_3_1_5_2_2_1 expressions n62_a_history_of_qed__1_3_1_5_2_3_1_1 with n62_a_history_of_qed__1_3_1_5_2_3_2_1_1 back n62_a_history_of_qed__1_3_1_5_2_3_2_2_1 - n62_a_history_of_qed__1_3_1_5_2_3_2_3_1 referencing n62_a_history_of_qed__1_4_1 . n62_a_history_of_qed__1 IP-MAT n62_a_history_of_qed__1_1 NP-SBJ n62_a_history_of_qed__1->n62_a_history_of_qed__1_1 n62_a_history_of_qed__1_2 VBP;__ n62_a_history_of_qed__1->n62_a_history_of_qed__1_2 n62_a_history_of_qed__1_3 NP-OB1 n62_a_history_of_qed__1->n62_a_history_of_qed__1_3 n62_a_history_of_qed__1_4 PUNC n62_a_history_of_qed__1->n62_a_history_of_qed__1_4 n62_a_history_of_qed__1_1_1 PRO n62_a_history_of_qed__1_1->n62_a_history_of_qed__1_1_1 n62_a_history_of_qed__1_1_1->n62_a_history_of_qed__1_1_1_1 n62_a_history_of_qed__1_2->n62_a_history_of_qed__1_2_1 n62_a_history_of_qed__1_3_1 NLYR n62_a_history_of_qed__1_3->n62_a_history_of_qed__1_3_1 n62_a_history_of_qed__1_3_1_1 NLYR n62_a_history_of_qed__1_3_1->n62_a_history_of_qed__1_3_1_1 n62_a_history_of_qed__1_3_1_2 PUNC n62_a_history_of_qed__1_3_1->n62_a_history_of_qed__1_3_1_2 n62_a_history_of_qed__1_3_1_3 CONJP n62_a_history_of_qed__1_3_1->n62_a_history_of_qed__1_3_1_3 n62_a_history_of_qed__1_3_1_4 PUNC n62_a_history_of_qed__1_3_1->n62_a_history_of_qed__1_3_1_4 n62_a_history_of_qed__1_3_1_5 CONJP n62_a_history_of_qed__1_3_1->n62_a_history_of_qed__1_3_1_5 n62_a_history_of_qed__1_3_1_1_1 ADJP n62_a_history_of_qed__1_3_1_1->n62_a_history_of_qed__1_3_1_1_1 n62_a_history_of_qed__1_3_1_1_2 NS n62_a_history_of_qed__1_3_1_1->n62_a_history_of_qed__1_3_1_1_2 n62_a_history_of_qed__1_3_1_1_1_1 ADJ n62_a_history_of_qed__1_3_1_1_1->n62_a_history_of_qed__1_3_1_1_1_1 n62_a_history_of_qed__1_3_1_1_1_1->n62_a_history_of_qed__1_3_1_1_1_1_1 n62_a_history_of_qed__1_3_1_1_2->n62_a_history_of_qed__1_3_1_1_2_1 n62_a_history_of_qed__1_3_1_2->n62_a_history_of_qed__1_3_1_2_1 n62_a_history_of_qed__1_3_1_3_1 NLYR n62_a_history_of_qed__1_3_1_3->n62_a_history_of_qed__1_3_1_3_1 n62_a_history_of_qed__1_3_1_3_1_1 N n62_a_history_of_qed__1_3_1_3_1->n62_a_history_of_qed__1_3_1_3_1_1 n62_a_history_of_qed__1_3_1_3_1_2 PP n62_a_history_of_qed__1_3_1_3_1->n62_a_history_of_qed__1_3_1_3_1_2 n62_a_history_of_qed__1_3_1_3_1_1->n62_a_history_of_qed__1_3_1_3_1_1_1 n62_a_history_of_qed__1_3_1_3_1_2_1 P-ROLE n62_a_history_of_qed__1_3_1_3_1_2->n62_a_history_of_qed__1_3_1_3_1_2_1 n62_a_history_of_qed__1_3_1_3_1_2_2 NP n62_a_history_of_qed__1_3_1_3_1_2->n62_a_history_of_qed__1_3_1_3_1_2_2 n62_a_history_of_qed__1_3_1_3_1_2_1->n62_a_history_of_qed__1_3_1_3_1_2_1_1 n62_a_history_of_qed__1_3_1_3_1_2_2_1 NS n62_a_history_of_qed__1_3_1_3_1_2_2->n62_a_history_of_qed__1_3_1_3_1_2_2_1 n62_a_history_of_qed__1_3_1_3_1_2_2_1->n62_a_history_of_qed__1_3_1_3_1_2_2_1_1 n62_a_history_of_qed__1_3_1_4->n62_a_history_of_qed__1_3_1_4_1 n62_a_history_of_qed__1_3_1_5_1 CONJ n62_a_history_of_qed__1_3_1_5->n62_a_history_of_qed__1_3_1_5_1 n62_a_history_of_qed__1_3_1_5_2 NLYR n62_a_history_of_qed__1_3_1_5->n62_a_history_of_qed__1_3_1_5_2 n62_a_history_of_qed__1_3_1_5_1->n62_a_history_of_qed__1_3_1_5_1_1 n62_a_history_of_qed__1_3_1_5_2_1 ADJP n62_a_history_of_qed__1_3_1_5_2->n62_a_history_of_qed__1_3_1_5_2_1 n62_a_history_of_qed__1_3_1_5_2_2 NS n62_a_history_of_qed__1_3_1_5_2->n62_a_history_of_qed__1_3_1_5_2_2 n62_a_history_of_qed__1_3_1_5_2_3 PP n62_a_history_of_qed__1_3_1_5_2->n62_a_history_of_qed__1_3_1_5_2_3 n62_a_history_of_qed__1_3_1_5_2_1_1 ADJ n62_a_history_of_qed__1_3_1_5_2_1->n62_a_history_of_qed__1_3_1_5_2_1_1 n62_a_history_of_qed__1_3_1_5_2_1_1->n62_a_history_of_qed__1_3_1_5_2_1_1_1 n62_a_history_of_qed__1_3_1_5_2_2->n62_a_history_of_qed__1_3_1_5_2_2_1 n62_a_history_of_qed__1_3_1_5_2_3_1 P-ROLE n62_a_history_of_qed__1_3_1_5_2_3->n62_a_history_of_qed__1_3_1_5_2_3_1 n62_a_history_of_qed__1_3_1_5_2_3_2 NP n62_a_history_of_qed__1_3_1_5_2_3->n62_a_history_of_qed__1_3_1_5_2_3_2 n62_a_history_of_qed__1_3_1_5_2_3_1->n62_a_history_of_qed__1_3_1_5_2_3_1_1 n62_a_history_of_qed__1_3_1_5_2_3_2_1 N n62_a_history_of_qed__1_3_1_5_2_3_2->n62_a_history_of_qed__1_3_1_5_2_3_2_1 n62_a_history_of_qed__1_3_1_5_2_3_2_2 PUNC n62_a_history_of_qed__1_3_1_5_2_3_2->n62_a_history_of_qed__1_3_1_5_2_3_2_2 n62_a_history_of_qed__1_3_1_5_2_3_2_3 N n62_a_history_of_qed__1_3_1_5_2_3_2->n62_a_history_of_qed__1_3_1_5_2_3_2_3 n62_a_history_of_qed__1_3_1_5_2_3_2_1->n62_a_history_of_qed__1_3_1_5_2_3_2_1_1 n62_a_history_of_qed__1_3_1_5_2_3_2_2->n62_a_history_of_qed__1_3_1_5_2_3_2_2_1 n62_a_history_of_qed__1_3_1_5_2_3_2_3->n62_a_history_of_qed__1_3_1_5_2_3_2_3_1 n62_a_history_of_qed__1_4->n62_a_history_of_qed__1_4_1 
( (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))