Context                Previous, Next                Top


190_a_hedgehog
19:41:00 House adjourned.

%3 r_0190_0003__adjourned adjourned r_0190_0002__House House r_0190_0003__adjourned->r_0190_0002__House [arg1] z_000_190_a_hedgehog_9 r_0190_0003__adjourned->z_000_190_a_hedgehog_9 [arg0] z_000_190_a_hedgehog_1 z_000_190_a_hedgehog_1->r_0190_0002__House [nim] r_0190_0001__19_colon_41_colon_00 19:41:00 z_000_190_a_hedgehog_1->r_0190_0001__19_colon_41_colon_00 [nim] 
arc(r_0190_0003__adjourned, r_0190_0002__House, arg1).
arc(r_0190_0003__adjourned, z_000_190_a_hedgehog_9, arg0).
arc(z_000_190_a_hedgehog_1, r_0190_0001__19_colon_41_colon_00, nim2).
arc(z_000_190_a_hedgehog_1, r_0190_0002__House, nim5).


%3 r_0190_0003__adjourned adjourned r_0190_0002__House House r_0190_0003__adjourned->r_0190_0002__House [arg1] z_000_190_a_hedgehog_9 r_0190_0003__adjourned->z_000_190_a_hedgehog_9 [arg0] z_000_190_a_hedgehog_1 z_000_190_a_hedgehog_1->r_0190_0002__House [nim] r_0190_0001__19_colon_41_colon_00 19:41:00 z_000_190_a_hedgehog_1->r_0190_0001__19_colon_41_colon_00 [nim] 
fof(formula,axiom,
    ? [R_190_3_ADJOURNED,Z_190_A_HEDGEHOG_9,Z_190_A_HEDGEHOG_1,R_190_1_19_COLON_41_COLON_,R_190_2_HOUSE] :
      ( 19_colon_41_colon_(R_190_1_19_COLON_41_COLON_)
      & house(R_190_2_HOUSE)
      & adjourned(R_190_3_ADJOURNED,Z_190_A_HEDGEHOG_9,R_190_2_HOUSE)
      & z_190_a_hedgehog_1(Z_190_A_HEDGEHOG_1)
      & nim2(Z_190_A_HEDGEHOG_1,R_190_1_19_COLON_41_COLON_)
      & nim5(Z_190_A_HEDGEHOG_1,R_190_2_HOUSE) ) ).


n190_a_hedgehog n190_a_hedgehog_4 19:41:00 n190_a_hedgehog_7 House n190_a_hedgehog_10 * n190_a_hedgehog_12 adjourned n190_a_hedgehog_14 . n190_a_hedgehog_1 FRAG n190_a_hedgehog_2 NP-NIM n190_a_hedgehog_1->n190_a_hedgehog_2 n190_a_hedgehog_5 NP n190_a_hedgehog_1->n190_a_hedgehog_5 n190_a_hedgehog_13 PUNC n190_a_hedgehog_1->n190_a_hedgehog_13 n190_a_hedgehog_3 NUM n190_a_hedgehog_2->n190_a_hedgehog_3 n190_a_hedgehog_3->n190_a_hedgehog_4 n190_a_hedgehog_6 NPR n190_a_hedgehog_5->n190_a_hedgehog_6 n190_a_hedgehog_8 IP-PPL n190_a_hedgehog_5->n190_a_hedgehog_8 n190_a_hedgehog_6->n190_a_hedgehog_7 n190_a_hedgehog_9 NP-LGS n190_a_hedgehog_8->n190_a_hedgehog_9 n190_a_hedgehog_11 VBD;_Tn_ n190_a_hedgehog_8->n190_a_hedgehog_11 n190_a_hedgehog_9->n190_a_hedgehog_10 n190_a_hedgehog_11->n190_a_hedgehog_12 n190_a_hedgehog_13->n190_a_hedgehog_14 
( (FRAG (NP-NIM (NUM 19:41:00))
        (NP (NPR House;{House})
            (IP-PPL (NP-LGS *)
                    (VBD;_Tn_ adjourned;{adjourn})))
        (PUNC .))
  (ID 190_a_hedgehog;speaker=-))