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 z_000_190_a_hedgehog_1 r_0190_0002__House House 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] r_0190_0003__adjourned adjourned 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] 
fof(formula,axiom,
    ? [R_0190_0002__HOUSE,Z_000_190_A_HEDGEHOG_9,R_0190_0003__ADJOURNED,R_0190_0001__19_COLON_41_COLON_00,Z_000_190_A_HEDGEHOG_1] :
      ( r_0190_0001__19_colon_41_colon_00(R_0190_0001__19_COLON_41_COLON_00)
      & r_0190_0002__House(R_0190_0002__HOUSE)
      & z_000_190_a_hedgehog_9(Z_000_190_A_HEDGEHOG_9)
      & z_000_190_a_hedgehog_1(Z_000_190_A_HEDGEHOG_1)
      & has_nim5(Z_000_190_A_HEDGEHOG_1,R_0190_0002__HOUSE)
      & has_nim2(Z_000_190_A_HEDGEHOG_1,R_0190_0001__19_COLON_41_COLON_00)
      & r_0190_0003__adjourned(R_0190_0003__ADJOURNED)
      & has_arg0(R_0190_0003__ADJOURNED,Z_000_190_A_HEDGEHOG_9)
      & has_arg1(R_0190_0003__ADJOURNED,R_0190_0002__HOUSE) ) ).


n190_a_hedgehog n190_a_hedgehog__1_1_1_1 19:41:00 n190_a_hedgehog__1_2_1_1 House n190_a_hedgehog__1_2_2_1_1 * n190_a_hedgehog__1_2_2_2_1 adjourned n190_a_hedgehog__1_3_1 . n190_a_hedgehog__1 FRAG n190_a_hedgehog__1_1 NP-NIM n190_a_hedgehog__1->n190_a_hedgehog__1_1 n190_a_hedgehog__1_2 NP n190_a_hedgehog__1->n190_a_hedgehog__1_2 n190_a_hedgehog__1_3 PUNC n190_a_hedgehog__1->n190_a_hedgehog__1_3 n190_a_hedgehog__1_1_1 NUM n190_a_hedgehog__1_1->n190_a_hedgehog__1_1_1 n190_a_hedgehog__1_1_1->n190_a_hedgehog__1_1_1_1 n190_a_hedgehog__1_2_1 NPR n190_a_hedgehog__1_2->n190_a_hedgehog__1_2_1 n190_a_hedgehog__1_2_2 IP-PPL n190_a_hedgehog__1_2->n190_a_hedgehog__1_2_2 n190_a_hedgehog__1_2_1->n190_a_hedgehog__1_2_1_1 n190_a_hedgehog__1_2_2_1 NP-LGS n190_a_hedgehog__1_2_2->n190_a_hedgehog__1_2_2_1 n190_a_hedgehog__1_2_2_2 VBD;_Tn_ n190_a_hedgehog__1_2_2->n190_a_hedgehog__1_2_2_2 n190_a_hedgehog__1_2_2_1->n190_a_hedgehog__1_2_2_1_1 n190_a_hedgehog__1_2_2_2->n190_a_hedgehog__1_2_2_2_1 n190_a_hedgehog__1_3->n190_a_hedgehog__1_3_1 
( (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=-))