Context                Previous, Next                Top


39_a_history_of_qed
It was not much of a loss.

n39_a_history_of_qed n39_a_history_of_qed__1_1_1_1 It n39_a_history_of_qed__1_2_1 was n39_a_history_of_qed__1_3_1 not n39_a_history_of_qed__1_4_1_1_1 much n39_a_history_of_qed__1_4_2_1_1 of n39_a_history_of_qed__1_4_2_2_1_1 a n39_a_history_of_qed__1_4_2_2_2_1 loss n39_a_history_of_qed__1_5_1 . n39_a_history_of_qed__1 IP-MAT n39_a_history_of_qed__1_1 NP-SBJ n39_a_history_of_qed__1->n39_a_history_of_qed__1_1 n39_a_history_of_qed__1_2 BED;_Ln_ n39_a_history_of_qed__1->n39_a_history_of_qed__1_2 n39_a_history_of_qed__1_3 NEG n39_a_history_of_qed__1->n39_a_history_of_qed__1_3 n39_a_history_of_qed__1_4 NP-PRD n39_a_history_of_qed__1->n39_a_history_of_qed__1_4 n39_a_history_of_qed__1_5 PUNC n39_a_history_of_qed__1->n39_a_history_of_qed__1_5 n39_a_history_of_qed__1_1_1 PRO n39_a_history_of_qed__1_1->n39_a_history_of_qed__1_1_1 n39_a_history_of_qed__1_1_1->n39_a_history_of_qed__1_1_1_1 n39_a_history_of_qed__1_2->n39_a_history_of_qed__1_2_1 n39_a_history_of_qed__1_3->n39_a_history_of_qed__1_3_1 n39_a_history_of_qed__1_4_1 ADJP n39_a_history_of_qed__1_4->n39_a_history_of_qed__1_4_1 n39_a_history_of_qed__1_4_2 PP n39_a_history_of_qed__1_4->n39_a_history_of_qed__1_4_2 n39_a_history_of_qed__1_4_1_1 ADJ n39_a_history_of_qed__1_4_1->n39_a_history_of_qed__1_4_1_1 n39_a_history_of_qed__1_4_1_1->n39_a_history_of_qed__1_4_1_1_1 n39_a_history_of_qed__1_4_2_1 P-ROLE n39_a_history_of_qed__1_4_2->n39_a_history_of_qed__1_4_2_1 n39_a_history_of_qed__1_4_2_2 NP n39_a_history_of_qed__1_4_2->n39_a_history_of_qed__1_4_2_2 n39_a_history_of_qed__1_4_2_1->n39_a_history_of_qed__1_4_2_1_1 n39_a_history_of_qed__1_4_2_2_1 D n39_a_history_of_qed__1_4_2_2->n39_a_history_of_qed__1_4_2_2_1 n39_a_history_of_qed__1_4_2_2_2 N n39_a_history_of_qed__1_4_2_2->n39_a_history_of_qed__1_4_2_2_2 n39_a_history_of_qed__1_4_2_2_1->n39_a_history_of_qed__1_4_2_2_1_1 n39_a_history_of_qed__1_4_2_2_2->n39_a_history_of_qed__1_4_2_2_2_1 n39_a_history_of_qed__1_5->n39_a_history_of_qed__1_5_1 
( (IP-MAT (NP-SBJ;{LIMITATION} (PRO It;{it}))
          (BED;_Ln_ was;{be})
          (NEG not;{not})
          (NP-PRD (ADJP (ADJ much;{much}))
                  (PP (P-ROLE of;{of})
                      (NP (D a;{a})
                          (N loss;{loss}))))
          (PUNC .))
  (ID 39_a_history_of_qed))


%3 z_0039_5004 r_0039_0006__a_r_0039_0007__loss a loss z_0039_5004->r_0039_0006__a_r_0039_0007__loss of r_0039_0004__much much z_0039_5004->r_0039_0004__much [attrib] r_0039_0003__not not r_0039_0002__was was r_0039_0003__not->r_0039_0002__was [keep_scope] r_0039_0002__was->z_0039_5004 [prd] r_0039_0001__It It r_0039_0002__was->r_0039_0001__It [arg0] 
arc(r_0039_0002__was,r_0039_0001__It,arg0).
arc(r_0039_0002__was,z_0039_5004,prd).
arc(r_0039_0003__not,r_0039_0002__was,keep_scope).
arc(z_0039_5004,r_0039_0004__much,attrib).
arc(z_0039_5004,r_0039_0006__a_r_0039_0007__loss,r_0039_0005__of).


%3 r_0039_0002__was was r_0039_0001__It It r_0039_0002__was->r_0039_0001__It [arg0] z_0039_5004 r_0039_0002__was->z_0039_5004 [prd] r_0039_0004__much much z_0039_5004->r_0039_0004__much [attrib] r_0039_0006__a_r_0039_0007__loss a loss z_0039_5004->r_0039_0006__a_r_0039_0007__loss of r_0039_0003__not not r_0039_0003__not->r_0039_0002__was [keep_scope] 
fof(formula,axiom,
    ~ ? [R_0039_0001__IT,R_0039_0004__MUCH,R_0039_0006__A_R_0039_0007__LOSS,Z_0039_5004,R_0039_0002__WAS] :
        ( r_0039_0001__It(R_0039_0001__IT)
        & r_0039_0004__much(R_0039_0004__MUCH)
        & r_0039_0006__a_r_0039_0007__loss(R_0039_0006__A_R_0039_0007__LOSS)
        & r_0039_0002__was(R_0039_0002__WAS)
        & has_prd(R_0039_0002__WAS,Z_0039_5004)
        & z_0039_5004(Z_0039_5004)
        & has_r_0039_0005__of(Z_0039_5004,R_0039_0006__A_R_0039_0007__LOSS)
        & has_attrib(Z_0039_5004,R_0039_0004__MUCH)
        & has_arg0(R_0039_0002__WAS,R_0039_0001__IT) ) ).