Context                Previous, Next                Top


39_a_history_of_qed
It was not much of a loss.

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


%3 z_000_39_a_history_of_qed_9 r_0039_0006__a_r_0039_0007__loss a loss z_000_39_a_history_of_qed_9->r_0039_0006__a_r_0039_0007__loss of r_0039_0004__much much z_000_39_a_history_of_qed_9->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_000_39_a_history_of_qed_9 [prd] r_0039_0001__It It r_0039_0002__was->r_0039_0001__It [arg0] 
fof(formula,axiom,
    ~ ? [R_39_2_WAS,R_39_1_IT,Z_39_A_HISTORY_OF_QED_9,R_39_4_MUCH,R_39_6_A_LOSS] :
        ( it(R_39_1_IT)
        & much(R_39_4_MUCH)
        & a_loss(R_39_6_A_LOSS)
        & was(R_39_2_WAS,R_39_1_IT,Z_39_A_HISTORY_OF_QED_9)
        & z_39_a_history_of_qed_9(Z_39_A_HISTORY_OF_QED_9)
        & attrib10(Z_39_A_HISTORY_OF_QED_9,R_39_4_MUCH)
        & of(Z_39_A_HISTORY_OF_QED_9,R_39_6_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))