Context                Previous, Next                Top


12_a_hardy_1883
Hence the house was exposed to the elements on all sides.

%3 r_0012_0004__was was r_0012_0001__Hence Hence r_0012_0004__was->r_0012_0001__Hence [nim] r_0012_0010__all_quant all [quant] r_0012_0004__was->r_0012_0010__all_quant [scope] r_0012_0005__exposed exposed r_0012_0010__all_quant->r_0012_0005__exposed [scope] r_0012_0011__sides sides r_0012_0010__all_quant->r_0012_0011__sides [restriction] r_0012_0002__the_r_0012_0003__house the house r_0012_0005__exposed->r_0012_0002__the_r_0012_0003__house [arg1] r_0012_0007__the_r_0012_0008__elements the elements r_0012_0005__exposed->r_0012_0007__the_r_0012_0008__elements to [clr] r_0012_0005__exposed->r_0012_0011__sides on [nim] z_000_12_a_hardy_1883_13 r_0012_0005__exposed->z_000_12_a_hardy_1883_13 [arg0] 
arc(r_0012_0004__was, r_0012_0001__Hence, nim2).
arc(r_0012_0004__was, r_0012_0010__all_quant, scope).
arc(r_0012_0005__exposed, r_0012_0002__the_r_0012_0003__house, arg1).
arc(r_0012_0005__exposed, r_0012_0007__the_r_0012_0008__elements, r_0012_0006__to_clr20).
arc(r_0012_0005__exposed, r_0012_0011__sides, r_0012_0009__on_nim28).
arc(r_0012_0005__exposed, z_000_12_a_hardy_1883_13, arg0).
arc(r_0012_0010__all_quant, r_0012_0005__exposed, scope).
arc(r_0012_0010__all_quant, r_0012_0011__sides, restriction).


%3 r_0012_0004__was was r_0012_0001__Hence Hence r_0012_0004__was->r_0012_0001__Hence [nim] r_0012_0010__all_quant all [quant] r_0012_0004__was->r_0012_0010__all_quant [keep_scope] r_0012_0005__exposed exposed r_0012_0010__all_quant->r_0012_0005__exposed [scope] r_0012_0011__sides sides r_0012_0010__all_quant->r_0012_0011__sides [restriction] r_0012_0002__the_r_0012_0003__house the house r_0012_0005__exposed->r_0012_0002__the_r_0012_0003__house [arg1] r_0012_0007__the_r_0012_0008__elements the elements r_0012_0005__exposed->r_0012_0007__the_r_0012_0008__elements to [clr] r_0012_0005__exposed->r_0012_0011__sides on [nim] z_000_12_a_hardy_1883_13 r_0012_0005__exposed->z_000_12_a_hardy_1883_13 [arg0] 
fof(formula,axiom,
    ? [R_12_1_HENCE] :
      ( hence(R_12_1_HENCE)
      & ! [R_12_11_SIDES] :
          ( sides(R_12_11_SIDES)
         => ? [R_12_5_EXPOSED,Z_12_A_HARDY_1883_13,R_12_2_THE_HOUSE,R_12_7_THE_ELEMENTS] :
              ( the_house(R_12_2_THE_HOUSE)
              & the_elements(R_12_7_THE_ELEMENTS)
              & exposed(R_12_5_EXPOSED,Z_12_A_HARDY_1883_13,R_12_2_THE_HOUSE)
              & to_clr20(R_12_5_EXPOSED,R_12_7_THE_ELEMENTS)
              & on_nim28(R_12_5_EXPOSED,R_12_11_SIDES) ) ) ) ).


n12_a_hardy_1883 n12_a_hardy_1883_4 Hence n12_a_hardy_1883_7 the n12_a_hardy_1883_9 house n12_a_hardy_1883_11 was n12_a_hardy_1883_14 * n12_a_hardy_1883_16 exposed n12_a_hardy_1883_19 to n12_a_hardy_1883_22 the n12_a_hardy_1883_24 elements n12_a_hardy_1883_27 on n12_a_hardy_1883_30 all n12_a_hardy_1883_32 sides n12_a_hardy_1883_34 . n12_a_hardy_1883_1 IP-MAT n12_a_hardy_1883_2 ADVP-NIM n12_a_hardy_1883_1->n12_a_hardy_1883_2 n12_a_hardy_1883_5 NP-SBJ n12_a_hardy_1883_1->n12_a_hardy_1883_5 n12_a_hardy_1883_10 BED;_cat_VePASS_ n12_a_hardy_1883_1->n12_a_hardy_1883_10 n12_a_hardy_1883_12 IP-PPL-CAT n12_a_hardy_1883_1->n12_a_hardy_1883_12 n12_a_hardy_1883_33 PUNC n12_a_hardy_1883_1->n12_a_hardy_1883_33 n12_a_hardy_1883_3 ADV n12_a_hardy_1883_2->n12_a_hardy_1883_3 n12_a_hardy_1883_3->n12_a_hardy_1883_4 n12_a_hardy_1883_6 D n12_a_hardy_1883_5->n12_a_hardy_1883_6 n12_a_hardy_1883_8 N n12_a_hardy_1883_5->n12_a_hardy_1883_8 n12_a_hardy_1883_6->n12_a_hardy_1883_7 n12_a_hardy_1883_8->n12_a_hardy_1883_9 n12_a_hardy_1883_10->n12_a_hardy_1883_11 n12_a_hardy_1883_13 NP-LGS n12_a_hardy_1883_12->n12_a_hardy_1883_13 n12_a_hardy_1883_15 VVN;_Tn.pr_ n12_a_hardy_1883_12->n12_a_hardy_1883_15 n12_a_hardy_1883_17 PP-CLR n12_a_hardy_1883_12->n12_a_hardy_1883_17 n12_a_hardy_1883_25 PP-NIM n12_a_hardy_1883_12->n12_a_hardy_1883_25 n12_a_hardy_1883_13->n12_a_hardy_1883_14 n12_a_hardy_1883_15->n12_a_hardy_1883_16 n12_a_hardy_1883_18 P-ROLE n12_a_hardy_1883_17->n12_a_hardy_1883_18 n12_a_hardy_1883_20 NP n12_a_hardy_1883_17->n12_a_hardy_1883_20 n12_a_hardy_1883_18->n12_a_hardy_1883_19 n12_a_hardy_1883_21 D n12_a_hardy_1883_20->n12_a_hardy_1883_21 n12_a_hardy_1883_23 NS n12_a_hardy_1883_20->n12_a_hardy_1883_23 n12_a_hardy_1883_21->n12_a_hardy_1883_22 n12_a_hardy_1883_23->n12_a_hardy_1883_24 n12_a_hardy_1883_26 P-ROLE n12_a_hardy_1883_25->n12_a_hardy_1883_26 n12_a_hardy_1883_28 NP n12_a_hardy_1883_25->n12_a_hardy_1883_28 n12_a_hardy_1883_26->n12_a_hardy_1883_27 n12_a_hardy_1883_29 Q n12_a_hardy_1883_28->n12_a_hardy_1883_29 n12_a_hardy_1883_31 NS n12_a_hardy_1883_28->n12_a_hardy_1883_31 n12_a_hardy_1883_29->n12_a_hardy_1883_30 n12_a_hardy_1883_31->n12_a_hardy_1883_32 n12_a_hardy_1883_33->n12_a_hardy_1883_34 
( (IP-MAT (ADVP-NIM (ADV Hence;{hence}))
          (NP-SBJ;{HCS} (D the;{the})
                        (N house;{house}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ exposed;{expose[to]})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (NS elements;{element})))
                      (PP-NIM (P-ROLE on;{on})
                              (NP (Q all;{all})
                                  (NS sides;{side}))))
          (PUNC .))
  (ID 12_a_hardy_1883))