Context                Previous, Next                Top


56_a_history_of_qed
Going back to the 1970s, QED had other offspring.

%3 r_0056_0001__Going Going r_0056_0002__back back r_0056_0001__Going->r_0056_0002__back [clr] z_000_56_a_history_of_qed_3 r_0056_0001__Going->z_000_56_a_history_of_qed_3 [arg0] r_0056_0004__the_r_0056_0005__1970s the 1970s r_0056_0002__back->r_0056_0004__the_r_0056_0005__1970s to r_0056_0008__had had r_0056_0007__QED QED r_0056_0008__had->r_0056_0007__QED [arg0] r_0056_0010__offspring offspring r_0056_0008__had->r_0056_0010__offspring [arg1] r_0056_0009__other other r_0056_0010__offspring->r_0056_0009__other [attrib] z_000_56_a_history_of_qed_2 z_000_56_a_history_of_qed_2->r_0056_0001__Going [restriction] z_000_56_a_history_of_qed_2->r_0056_0008__had [scope] 
arc(r_0056_0001__Going, r_0056_0002__back, clr6).
arc(r_0056_0001__Going, z_000_56_a_history_of_qed_3, arg0).
arc(r_0056_0002__back, r_0056_0004__the_r_0056_0005__1970s, r_0056_0003__to).
arc(r_0056_0008__had, r_0056_0007__QED, arg0).
arc(r_0056_0008__had, r_0056_0010__offspring, arg1).
arc(r_0056_0010__offspring, r_0056_0009__other, attrib25).
arc(z_000_56_a_history_of_qed_2, r_0056_0001__Going, restriction).
arc(z_000_56_a_history_of_qed_2, r_0056_0008__had, scope).


%3 r_0056_0001__Going Going r_0056_0002__back back r_0056_0001__Going->r_0056_0002__back [clr] z_000_56_a_history_of_qed_3 r_0056_0001__Going->z_000_56_a_history_of_qed_3 [arg0] r_0056_0004__the_r_0056_0005__1970s the 1970s r_0056_0002__back->r_0056_0004__the_r_0056_0005__1970s to r_0056_0008__had had r_0056_0007__QED QED r_0056_0008__had->r_0056_0007__QED [arg0] r_0056_0010__offspring offspring r_0056_0008__had->r_0056_0010__offspring [arg1] r_0056_0009__other other r_0056_0010__offspring->r_0056_0009__other [attrib] z_000_56_a_history_of_qed_2 z_000_56_a_history_of_qed_2->r_0056_0001__Going [conj1] z_000_56_a_history_of_qed_2->r_0056_0008__had [conj2] 
fof(formula,axiom,
    ? [Z_56_A_HISTORY_OF_QED_2,R_56_1_GOING,Z_56_A_HISTORY_OF_QED_3,R_56_2_BACK,R_56_4_THE_1970S,R_56_8_HAD,R_56_7_QED,R_56_10_OFFSPRING,R_56_9_OTHER] :
      ( the_1970s(R_56_4_THE_1970S)
      & qED(R_56_7_QED)
      & other(R_56_9_OTHER)
      & z_56_a_history_of_qed_2(Z_56_A_HISTORY_OF_QED_2)
      & conj1(Z_56_A_HISTORY_OF_QED_2,R_56_1_GOING)
      & going(R_56_1_GOING,Z_56_A_HISTORY_OF_QED_3)
      & clr6(R_56_1_GOING,R_56_2_BACK)
      & back(R_56_2_BACK)
      & to(R_56_2_BACK,R_56_4_THE_1970S)
      & conj2(Z_56_A_HISTORY_OF_QED_2,R_56_8_HAD)
      & had(R_56_8_HAD,R_56_7_QED,R_56_10_OFFSPRING)
      & offspring(R_56_10_OFFSPRING)
      & attrib25(R_56_10_OFFSPRING,R_56_9_OTHER) ) ).


n56_a_history_of_qed n56_a_history_of_qed_5 Going n56_a_history_of_qed_8 back n56_a_history_of_qed_11 to n56_a_history_of_qed_14 the n56_a_history_of_qed_16 1970s n56_a_history_of_qed_18 , n56_a_history_of_qed_21 QED n56_a_history_of_qed_23 had n56_a_history_of_qed_27 other n56_a_history_of_qed_29 offspring n56_a_history_of_qed_31 . n56_a_history_of_qed_1 IP-MAT n56_a_history_of_qed_2 PP-SCON n56_a_history_of_qed_1->n56_a_history_of_qed_2 n56_a_history_of_qed_17 PUNC n56_a_history_of_qed_1->n56_a_history_of_qed_17 n56_a_history_of_qed_19 NP-SBJ n56_a_history_of_qed_1->n56_a_history_of_qed_19 n56_a_history_of_qed_22 HVD;_Tn_ n56_a_history_of_qed_1->n56_a_history_of_qed_22 n56_a_history_of_qed_24 NP-OB1 n56_a_history_of_qed_1->n56_a_history_of_qed_24 n56_a_history_of_qed_30 PUNC n56_a_history_of_qed_1->n56_a_history_of_qed_30 n56_a_history_of_qed_3 IP-PPL3 n56_a_history_of_qed_2->n56_a_history_of_qed_3 n56_a_history_of_qed_4 VAG;_Ip_ n56_a_history_of_qed_3->n56_a_history_of_qed_4 n56_a_history_of_qed_6 ADVP-CLR n56_a_history_of_qed_3->n56_a_history_of_qed_6 n56_a_history_of_qed_4->n56_a_history_of_qed_5 n56_a_history_of_qed_7 RP n56_a_history_of_qed_6->n56_a_history_of_qed_7 n56_a_history_of_qed_9 PP n56_a_history_of_qed_6->n56_a_history_of_qed_9 n56_a_history_of_qed_7->n56_a_history_of_qed_8 n56_a_history_of_qed_10 P-ROLE n56_a_history_of_qed_9->n56_a_history_of_qed_10 n56_a_history_of_qed_12 NP n56_a_history_of_qed_9->n56_a_history_of_qed_12 n56_a_history_of_qed_10->n56_a_history_of_qed_11 n56_a_history_of_qed_13 D n56_a_history_of_qed_12->n56_a_history_of_qed_13 n56_a_history_of_qed_15 NPRS n56_a_history_of_qed_12->n56_a_history_of_qed_15 n56_a_history_of_qed_13->n56_a_history_of_qed_14 n56_a_history_of_qed_15->n56_a_history_of_qed_16 n56_a_history_of_qed_17->n56_a_history_of_qed_18 n56_a_history_of_qed_20 NPR n56_a_history_of_qed_19->n56_a_history_of_qed_20 n56_a_history_of_qed_20->n56_a_history_of_qed_21 n56_a_history_of_qed_22->n56_a_history_of_qed_23 n56_a_history_of_qed_25 ADJP n56_a_history_of_qed_24->n56_a_history_of_qed_25 n56_a_history_of_qed_28 N n56_a_history_of_qed_24->n56_a_history_of_qed_28 n56_a_history_of_qed_26 ADJ n56_a_history_of_qed_25->n56_a_history_of_qed_26 n56_a_history_of_qed_26->n56_a_history_of_qed_27 n56_a_history_of_qed_28->n56_a_history_of_qed_29 n56_a_history_of_qed_30->n56_a_history_of_qed_31 
( (IP-MAT (PP-SCON (IP-PPL3 (VAG;_Ip_ Going;{go[back]})
                            (ADVP-CLR (RP back;{back})
                                      (PP (P-ROLE to;{to})
                                          (NP (D the;{the})
                                              (NPRS 1970s))))))
          (PUNC ,)
          (NP-SBJ (NPR QED;{QED}))
          (HVD;_Tn_ had;{have})
          (NP-OB1 (ADJP (ADJ other;{other}))
                  (N offspring;{offspring}))
          (PUNC .))
  (ID 56_a_history_of_qed))