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 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] 
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_4 It n39_a_history_of_qed_6 was n39_a_history_of_qed_8 not n39_a_history_of_qed_12 much n39_a_history_of_qed_15 of n39_a_history_of_qed_18 a n39_a_history_of_qed_20 loss n39_a_history_of_qed_22 . n39_a_history_of_qed_1 IP-MAT n39_a_history_of_qed_2 NP-SBJ n39_a_history_of_qed_1->n39_a_history_of_qed_2 n39_a_history_of_qed_5 BED;_Ln_ n39_a_history_of_qed_1->n39_a_history_of_qed_5 n39_a_history_of_qed_7 NEG n39_a_history_of_qed_1->n39_a_history_of_qed_7 n39_a_history_of_qed_9 NP-PRD n39_a_history_of_qed_1->n39_a_history_of_qed_9 n39_a_history_of_qed_21 PUNC n39_a_history_of_qed_1->n39_a_history_of_qed_21 n39_a_history_of_qed_3 PRO n39_a_history_of_qed_2->n39_a_history_of_qed_3 n39_a_history_of_qed_3->n39_a_history_of_qed_4 n39_a_history_of_qed_5->n39_a_history_of_qed_6 n39_a_history_of_qed_7->n39_a_history_of_qed_8 n39_a_history_of_qed_10 ADJP n39_a_history_of_qed_9->n39_a_history_of_qed_10 n39_a_history_of_qed_13 PP n39_a_history_of_qed_9->n39_a_history_of_qed_13 n39_a_history_of_qed_11 ADJ n39_a_history_of_qed_10->n39_a_history_of_qed_11 n39_a_history_of_qed_11->n39_a_history_of_qed_12 n39_a_history_of_qed_14 P-ROLE n39_a_history_of_qed_13->n39_a_history_of_qed_14 n39_a_history_of_qed_16 NP n39_a_history_of_qed_13->n39_a_history_of_qed_16 n39_a_history_of_qed_14->n39_a_history_of_qed_15 n39_a_history_of_qed_17 D n39_a_history_of_qed_16->n39_a_history_of_qed_17 n39_a_history_of_qed_19 N n39_a_history_of_qed_16->n39_a_history_of_qed_19 n39_a_history_of_qed_17->n39_a_history_of_qed_18 n39_a_history_of_qed_19->n39_a_history_of_qed_20 n39_a_history_of_qed_21->n39_a_history_of_qed_22 
( (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))