Context                Previous, Next                Top


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

n56_a_history_of_qed n56_a_history_of_qed__1_1_1_1_1 Going n56_a_history_of_qed__1_1_1_2_1_1 back n56_a_history_of_qed__1_1_1_2_2_1_1 to n56_a_history_of_qed__1_1_1_2_2_2_1_1 the n56_a_history_of_qed__1_1_1_2_2_2_2_1 1970s n56_a_history_of_qed__1_2_1 , n56_a_history_of_qed__1_3_1_1 QED n56_a_history_of_qed__1_4_1 had n56_a_history_of_qed__1_5_1_1_1 other n56_a_history_of_qed__1_5_2_1 offspring n56_a_history_of_qed__1_6_1 . n56_a_history_of_qed__1 IP-MAT n56_a_history_of_qed__1_1 PP-SCON n56_a_history_of_qed__1->n56_a_history_of_qed__1_1 n56_a_history_of_qed__1_2 PUNC n56_a_history_of_qed__1->n56_a_history_of_qed__1_2 n56_a_history_of_qed__1_3 NP-SBJ n56_a_history_of_qed__1->n56_a_history_of_qed__1_3 n56_a_history_of_qed__1_4 HVD;_Tn_ n56_a_history_of_qed__1->n56_a_history_of_qed__1_4 n56_a_history_of_qed__1_5 NP-OB1 n56_a_history_of_qed__1->n56_a_history_of_qed__1_5 n56_a_history_of_qed__1_6 PUNC n56_a_history_of_qed__1->n56_a_history_of_qed__1_6 n56_a_history_of_qed__1_1_1 IP-PPL3 n56_a_history_of_qed__1_1->n56_a_history_of_qed__1_1_1 n56_a_history_of_qed__1_1_1_1 VAG;_Ip_ n56_a_history_of_qed__1_1_1->n56_a_history_of_qed__1_1_1_1 n56_a_history_of_qed__1_1_1_2 ADVP-CLR n56_a_history_of_qed__1_1_1->n56_a_history_of_qed__1_1_1_2 n56_a_history_of_qed__1_1_1_1->n56_a_history_of_qed__1_1_1_1_1 n56_a_history_of_qed__1_1_1_2_1 RP n56_a_history_of_qed__1_1_1_2->n56_a_history_of_qed__1_1_1_2_1 n56_a_history_of_qed__1_1_1_2_2 PP n56_a_history_of_qed__1_1_1_2->n56_a_history_of_qed__1_1_1_2_2 n56_a_history_of_qed__1_1_1_2_1->n56_a_history_of_qed__1_1_1_2_1_1 n56_a_history_of_qed__1_1_1_2_2_1 P-ROLE n56_a_history_of_qed__1_1_1_2_2->n56_a_history_of_qed__1_1_1_2_2_1 n56_a_history_of_qed__1_1_1_2_2_2 NP n56_a_history_of_qed__1_1_1_2_2->n56_a_history_of_qed__1_1_1_2_2_2 n56_a_history_of_qed__1_1_1_2_2_1->n56_a_history_of_qed__1_1_1_2_2_1_1 n56_a_history_of_qed__1_1_1_2_2_2_1 D n56_a_history_of_qed__1_1_1_2_2_2->n56_a_history_of_qed__1_1_1_2_2_2_1 n56_a_history_of_qed__1_1_1_2_2_2_2 NPRS n56_a_history_of_qed__1_1_1_2_2_2->n56_a_history_of_qed__1_1_1_2_2_2_2 n56_a_history_of_qed__1_1_1_2_2_2_1->n56_a_history_of_qed__1_1_1_2_2_2_1_1 n56_a_history_of_qed__1_1_1_2_2_2_2->n56_a_history_of_qed__1_1_1_2_2_2_2_1 n56_a_history_of_qed__1_2->n56_a_history_of_qed__1_2_1 n56_a_history_of_qed__1_3_1 NPR n56_a_history_of_qed__1_3->n56_a_history_of_qed__1_3_1 n56_a_history_of_qed__1_3_1->n56_a_history_of_qed__1_3_1_1 n56_a_history_of_qed__1_4->n56_a_history_of_qed__1_4_1 n56_a_history_of_qed__1_5_1 ADJP n56_a_history_of_qed__1_5->n56_a_history_of_qed__1_5_1 n56_a_history_of_qed__1_5_2 N n56_a_history_of_qed__1_5->n56_a_history_of_qed__1_5_2 n56_a_history_of_qed__1_5_1_1 ADJ n56_a_history_of_qed__1_5_1->n56_a_history_of_qed__1_5_1_1 n56_a_history_of_qed__1_5_1_1->n56_a_history_of_qed__1_5_1_1_1 n56_a_history_of_qed__1_5_2->n56_a_history_of_qed__1_5_2_1 n56_a_history_of_qed__1_6->n56_a_history_of_qed__1_6_1 
( (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))


%3 z_0056_5001 r_0056_0008__had had z_0056_5001->r_0056_0008__had [scope] r_0056_0001__Going Going z_0056_5001->r_0056_0001__Going [restriction] r_0056_0010__offspring offspring r_0056_0008__had->r_0056_0010__offspring [arg1] r_0056_0007__QED QED r_0056_0008__had->r_0056_0007__QED [arg0] r_0056_0002__back back r_0056_0001__Going->r_0056_0002__back [clr] z_0056_5004 r_0056_0001__Going->z_0056_5004 [arg0] r_0056_0009__other other r_0056_0010__offspring->r_0056_0009__other [attrib] r_0056_0004__the_r_0056_0005__1970s the 1970s r_0056_0002__back->r_0056_0004__the_r_0056_0005__1970s to 
arc(r_0056_0001__Going,r_0056_0002__back,clr).
arc(r_0056_0001__Going,z_0056_5004,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,attrib).
arc(z_0056_5001,r_0056_0001__Going,restriction).
arc(z_0056_5001,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_0056_5004 r_0056_0001__Going->z_0056_5004 [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_0056_5001 z_0056_5001->r_0056_0001__Going [conj1] z_0056_5001->r_0056_0008__had [conj2] 
fof(formula,axiom,
    ? [R_0056_0004__THE_R_0056_0005__1970S,R_0056_0002__BACK,Z_0056_5004,R_0056_0001__GOING,R_0056_0007__QED,R_0056_0009__OTHER,R_0056_0010__OFFSPRING,R_0056_0008__HAD,Z_0056_5001] :
      ( r_0056_0004__the_r_0056_0005__1970s(R_0056_0004__THE_R_0056_0005__1970S)
      & r_0056_0007__QED(R_0056_0007__QED)
      & r_0056_0009__other(R_0056_0009__OTHER)
      & z_0056_5004(Z_0056_5004)
      & z_0056_5001(Z_0056_5001)
      & has_conj2(Z_0056_5001,R_0056_0008__HAD)
      & r_0056_0008__had(R_0056_0008__HAD)
      & has_arg1(R_0056_0008__HAD,R_0056_0010__OFFSPRING)
      & r_0056_0010__offspring(R_0056_0010__OFFSPRING)
      & has_attrib(R_0056_0010__OFFSPRING,R_0056_0009__OTHER)
      & has_arg0(R_0056_0008__HAD,R_0056_0007__QED)
      & has_conj1(Z_0056_5001,R_0056_0001__GOING)
      & r_0056_0001__Going(R_0056_0001__GOING)
      & has_arg0(R_0056_0001__GOING,Z_0056_5004)
      & has_clr(R_0056_0001__GOING,R_0056_0002__BACK)
      & r_0056_0002__back(R_0056_0002__BACK)
      & has_r_0056_0003__to(R_0056_0002__BACK,R_0056_0004__THE_R_0056_0005__1970S) ) ).