Context                Previous, Next                Top


61_a_lob_n01
If so, why had they troubled to bring her body all the way from Trento?

%3 r_0061_0001__If If r_0061_0012__all_quant all [quant] r_0061_0001__If->r_0061_0012__all_quant [scope] z_000_61_a_lob_n01_6 r_0061_0001__If->z_000_61_a_lob_n01_6 [restriction] r_0061_0005__had had r_0061_0012__all_quant->r_0061_0005__had [scope] r_0061_0013__the_r_0061_0014__way the way r_0061_0012__all_quant->r_0061_0013__the_r_0061_0014__way [restriction] r_0061_0002__so so z_000_61_a_lob_n01_6->r_0061_0002__so [nim] r_0061_0004__why why r_0061_0005__had->r_0061_0004__why [nim] r_0061_0007__troubled troubled r_0061_0005__had->r_0061_0007__troubled [scope] r_0061_0005__had->r_0061_0013__the_r_0061_0014__way [nim] r_0061_0008__to_r_0061_0009__bring to bring r_0061_0007__troubled->r_0061_0008__to_r_0061_0009__bring [scope] r_0061_0016__Trento Trento r_0061_0013__the_r_0061_0014__way->r_0061_0016__Trento from r_0061_0006__they they r_0061_0008__to_r_0061_0009__bring->r_0061_0006__they [arg0] r_0061_0011__body body r_0061_0008__to_r_0061_0009__bring->r_0061_0011__body [arg1] r_0061_0010__her her r_0061_0011__body->r_0061_0010__her [gen] 
arc(r_0061_0001__If, r_0061_0012__all_quant, scope).
arc(r_0061_0001__If, z_000_61_a_lob_n01_6, restriction).
arc(r_0061_0005__had, r_0061_0004__why, nim12).
arc(r_0061_0005__had, r_0061_0007__troubled, scope).
arc(r_0061_0005__had, r_0061_0013__the_r_0061_0014__way, nim34).
arc(r_0061_0007__troubled, r_0061_0008__to_r_0061_0009__bring, scope).
arc(r_0061_0008__to_r_0061_0009__bring, r_0061_0006__they, arg0).
arc(r_0061_0008__to_r_0061_0009__bring, r_0061_0011__body, arg1).
arc(r_0061_0011__body, r_0061_0010__her, gen).
arc(r_0061_0012__all_quant, r_0061_0005__had, scope).
arc(r_0061_0012__all_quant, r_0061_0013__the_r_0061_0014__way, restriction).
arc(r_0061_0013__the_r_0061_0014__way, r_0061_0016__Trento, r_0061_0015__from).
arc(z_000_61_a_lob_n01_6, r_0061_0002__so, nim7).


%3 r_0061_0001__If If r_0061_0012__all_quant all [quant] r_0061_0001__If->r_0061_0012__all_quant [scope] z_000_61_a_lob_n01_6 r_0061_0001__If->z_000_61_a_lob_n01_6 [restriction] r_0061_0005__had_r_0061_0007__troubled_r_0061_0008__to_r_0061_0009__bring had troubled to bring r_0061_0012__all_quant->r_0061_0005__had_r_0061_0007__troubled_r_0061_0008__to_r_0061_0009__bring [scope] r_0061_0013__the_r_0061_0014__way the way r_0061_0012__all_quant->r_0061_0013__the_r_0061_0014__way [restriction] r_0061_0002__so so z_000_61_a_lob_n01_6->r_0061_0002__so [nim] r_0061_0004__why why r_0061_0005__had_r_0061_0007__troubled_r_0061_0008__to_r_0061_0009__bring->r_0061_0004__why [nim] r_0061_0006__they they r_0061_0005__had_r_0061_0007__troubled_r_0061_0008__to_r_0061_0009__bring->r_0061_0006__they [arg0] r_0061_0011__body body r_0061_0005__had_r_0061_0007__troubled_r_0061_0008__to_r_0061_0009__bring->r_0061_0011__body [arg1] r_0061_0005__had_r_0061_0007__troubled_r_0061_0008__to_r_0061_0009__bring->r_0061_0013__the_r_0061_0014__way [nim] r_0061_0010__her her r_0061_0011__body->r_0061_0010__her [gen] r_0061_0016__Trento Trento r_0061_0013__the_r_0061_0014__way->r_0061_0016__Trento from 
fof(formula,axiom,
    ! [Z_61_A_LOB_N01_6,R_61_2_SO] :
      ( ( so(R_61_2_SO)
        & z_61_a_lob_n01_6(Z_61_A_LOB_N01_6)
        & nim7(Z_61_A_LOB_N01_6,R_61_2_SO) )
     => ! [R_61_13_THE_WAY,R_61_16_TRENTO] :
          ( ( trento(R_61_16_TRENTO)
            & the_way(R_61_13_THE_WAY)
            & from(R_61_13_THE_WAY,R_61_16_TRENTO) )
         => ? [R_61_5_HAD_TROUBLED_TO_BRING,R_61_6_THEY,R_61_11_BODY,R_61_10_HER,R_61_4_WHY] :
              ( they(R_61_6_THEY)
              & her(R_61_10_HER)
              & why(R_61_4_WHY)
              & had_troubled_to_bring(R_61_5_HAD_TROUBLED_TO_BRING,R_61_6_THEY,R_61_11_BODY)
              & body(R_61_11_BODY)
              & gen(R_61_11_BODY,R_61_10_HER)
              & nim12(R_61_5_HAD_TROUBLED_TO_BRING,R_61_4_WHY)
              & nim34(R_61_5_HAD_TROUBLED_TO_BRING,R_61_13_THE_WAY) ) ) ) ).


n61_a_lob_n01 n61_a_lob_n01_5 If n61_a_lob_n01_9 so n61_a_lob_n01_11 , n61_a_lob_n01_14 why n61_a_lob_n01_16 had n61_a_lob_n01_19 they n61_a_lob_n01_22 troubled n61_a_lob_n01_25 to n61_a_lob_n01_27 bring n61_a_lob_n01_31 her n61_a_lob_n01_33 body n61_a_lob_n01_36 all n61_a_lob_n01_38 the n61_a_lob_n01_40 way n61_a_lob_n01_43 from n61_a_lob_n01_46 Trento n61_a_lob_n01_48 ? n61_a_lob_n01_1 CP-QUE-MAT n61_a_lob_n01_2 IP-SUB n61_a_lob_n01_1->n61_a_lob_n01_2 n61_a_lob_n01_47 PUNC n61_a_lob_n01_1->n61_a_lob_n01_47 n61_a_lob_n01_3 PP-SCON n61_a_lob_n01_2->n61_a_lob_n01_3 n61_a_lob_n01_10 PUNC n61_a_lob_n01_2->n61_a_lob_n01_10 n61_a_lob_n01_12 ADVP-NIM n61_a_lob_n01_2->n61_a_lob_n01_12 n61_a_lob_n01_15 HVD;_cat_Ve_ n61_a_lob_n01_2->n61_a_lob_n01_15 n61_a_lob_n01_17 NP-SBJ n61_a_lob_n01_2->n61_a_lob_n01_17 n61_a_lob_n01_20 IP-PPL-CAT n61_a_lob_n01_2->n61_a_lob_n01_20 n61_a_lob_n01_34 NP-NIM n61_a_lob_n01_2->n61_a_lob_n01_34 n61_a_lob_n01_4 P-CONN n61_a_lob_n01_3->n61_a_lob_n01_4 n61_a_lob_n01_6 IP-ADV n61_a_lob_n01_3->n61_a_lob_n01_6 n61_a_lob_n01_4->n61_a_lob_n01_5 n61_a_lob_n01_7 ADVP-NIM n61_a_lob_n01_6->n61_a_lob_n01_7 n61_a_lob_n01_8 ADV n61_a_lob_n01_7->n61_a_lob_n01_8 n61_a_lob_n01_8->n61_a_lob_n01_9 n61_a_lob_n01_10->n61_a_lob_n01_11 n61_a_lob_n01_13 WADV n61_a_lob_n01_12->n61_a_lob_n01_13 n61_a_lob_n01_13->n61_a_lob_n01_14 n61_a_lob_n01_15->n61_a_lob_n01_16 n61_a_lob_n01_18 PRO n61_a_lob_n01_17->n61_a_lob_n01_18 n61_a_lob_n01_18->n61_a_lob_n01_19 n61_a_lob_n01_21 VVN;_cat_Vt_ n61_a_lob_n01_20->n61_a_lob_n01_21 n61_a_lob_n01_23 IP-INF-CAT n61_a_lob_n01_20->n61_a_lob_n01_23 n61_a_lob_n01_21->n61_a_lob_n01_22 n61_a_lob_n01_24 TO n61_a_lob_n01_23->n61_a_lob_n01_24 n61_a_lob_n01_26 VB;_Tn_ n61_a_lob_n01_23->n61_a_lob_n01_26 n61_a_lob_n01_28 NP-OB1 n61_a_lob_n01_23->n61_a_lob_n01_28 n61_a_lob_n01_24->n61_a_lob_n01_25 n61_a_lob_n01_26->n61_a_lob_n01_27 n61_a_lob_n01_29 NP-GEN n61_a_lob_n01_28->n61_a_lob_n01_29 n61_a_lob_n01_32 N n61_a_lob_n01_28->n61_a_lob_n01_32 n61_a_lob_n01_30 PRO;_genm_ n61_a_lob_n01_29->n61_a_lob_n01_30 n61_a_lob_n01_30->n61_a_lob_n01_31 n61_a_lob_n01_32->n61_a_lob_n01_33 n61_a_lob_n01_35 Q;_nphd_ n61_a_lob_n01_34->n61_a_lob_n01_35 n61_a_lob_n01_37 D n61_a_lob_n01_34->n61_a_lob_n01_37 n61_a_lob_n01_39 N n61_a_lob_n01_34->n61_a_lob_n01_39 n61_a_lob_n01_41 PP n61_a_lob_n01_34->n61_a_lob_n01_41 n61_a_lob_n01_35->n61_a_lob_n01_36 n61_a_lob_n01_37->n61_a_lob_n01_38 n61_a_lob_n01_39->n61_a_lob_n01_40 n61_a_lob_n01_42 P-ROLE n61_a_lob_n01_41->n61_a_lob_n01_42 n61_a_lob_n01_44 NP n61_a_lob_n01_41->n61_a_lob_n01_44 n61_a_lob_n01_42->n61_a_lob_n01_43 n61_a_lob_n01_45 NPR n61_a_lob_n01_44->n61_a_lob_n01_45 n61_a_lob_n01_45->n61_a_lob_n01_46 n61_a_lob_n01_47->n61_a_lob_n01_48 
( (CP-QUE-MAT (IP-SUB (PP-SCON (P-CONN If;{if})
                               (IP-ADV (ADVP-NIM (ADV so;{so}))))
                      (PUNC ,)
                      (ADVP-NIM (WADV why;{why}))
                      (HVD;_cat_Ve_ had;{have})
                      (NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
                      (IP-PPL-CAT (VVN;_cat_Vt_ troubled;{trouble})
                                  (IP-INF-CAT (TO to;{to})
                                              (VB;_Tn_ bring;{bring})
                                              (NP-OB1 (NP-GEN;{EVE} (PRO;_genm_ her;{her}))
                                                      (N body;{body}))))
                      (NP-NIM (Q;_nphd_ all;{all})
                              (D the;{the})
                              (N way;{way})
                              (PP (P-ROLE from;{from})
                                  (NP (NPR Trento;{Trento})))))
              (PUNC ?))
  (ID 61_a_lob_n01))