Context                Previous, Next                Top


175_a_loosechange
I had three warm bedrooms, one of them empty.

%3 r_0175_0002__had had r_0175_0001__I I r_0175_0002__had->r_0175_0001__I [arg0] r_0175_0003__three_r_0175_0005__bedrooms three bedrooms r_0175_0002__had->r_0175_0003__three_r_0175_0005__bedrooms [arg1] r_0175_0004__warm warm r_0175_0003__three_r_0175_0005__bedrooms->r_0175_0004__warm [attrib] r_0175_0007__one one r_0175_0007__one->r_0175_0003__three_r_0175_0005__bedrooms of r_0175_0010__empty empty r_0175_0007__one->r_0175_0010__empty [attrib] z_000_175_a_loosechange_17 z_000_175_a_loosechange_17->r_0175_0003__three_r_0175_0005__bedrooms [arg0] z_000_175_a_loosechange_17->r_0175_0007__one [prd] 
arc(r_0175_0002__had, r_0175_0001__I, arg0).
arc(r_0175_0002__had, r_0175_0003__three_r_0175_0005__bedrooms, arg1).
arc(r_0175_0003__three_r_0175_0005__bedrooms, r_0175_0004__warm, attrib10).
arc(r_0175_0007__one, r_0175_0003__three_r_0175_0005__bedrooms, r_0175_0008__of).
arc(r_0175_0007__one, r_0175_0010__empty, attrib27).
arc(z_000_175_a_loosechange_17, r_0175_0003__three_r_0175_0005__bedrooms, arg0).
arc(z_000_175_a_loosechange_17, r_0175_0007__one, prd).


%3 z_000_175_a_loosechange_17 r_0175_0007__one one z_000_175_a_loosechange_17->r_0175_0007__one [prd] r_0175_0003__three_r_0175_0005__bedrooms three bedrooms z_000_175_a_loosechange_17->r_0175_0003__three_r_0175_0005__bedrooms [arg0] r_0175_0007__one->r_0175_0003__three_r_0175_0005__bedrooms of r_0175_0010__empty empty r_0175_0007__one->r_0175_0010__empty [attrib] r_0175_0004__warm warm r_0175_0003__three_r_0175_0005__bedrooms->r_0175_0004__warm [attrib] r_0175_0002__had had r_0175_0002__had->r_0175_0003__three_r_0175_0005__bedrooms [arg1] r_0175_0001__I I r_0175_0002__had->r_0175_0001__I [arg0] 
fof(formula,axiom,
    ? [R_175_2_HAD,R_175_1_I,Z_175_A_LOOSECHANGE_17,R_175_7_ONE,R_175_10_EMPTY,R_175_3_THREE_BEDROOMS,R_175_4_WARM] :
      ( i(R_175_1_I)
      & empty(R_175_10_EMPTY)
      & warm(R_175_4_WARM)
      & had(R_175_2_HAD,R_175_1_I,R_175_3_THREE_BEDROOMS)
      & three_bedrooms(R_175_3_THREE_BEDROOMS)
      & attrib10(R_175_3_THREE_BEDROOMS,R_175_4_WARM)
      & z_175_a_loosechange_17(Z_175_A_LOOSECHANGE_17,R_175_3_THREE_BEDROOMS,R_175_7_ONE)
      & one(R_175_7_ONE)
      & attrib27(R_175_7_ONE,R_175_10_EMPTY)
      & of(R_175_7_ONE,R_175_3_THREE_BEDROOMS) ) ).


n175_a_loosechange n175_a_loosechange__1_1_1_1 I n175_a_loosechange__1_2_1 had n175_a_loosechange__1_3_1_1 three n175_a_loosechange__1_3_2_1_1 warm n175_a_loosechange__1_3_3_1 bedrooms n175_a_loosechange__1_3_4_1 , n175_a_loosechange__1_3_5_1_1_1 one n175_a_loosechange__1_3_5_1_2_1_1 of n175_a_loosechange__1_3_5_1_2_2_1_1 them n175_a_loosechange__1_3_5_1_3_1_1 empty n175_a_loosechange__1_4_1 . n175_a_loosechange__1 IP-MAT n175_a_loosechange__1_1 NP-SBJ n175_a_loosechange__1->n175_a_loosechange__1_1 n175_a_loosechange__1_2 HVD;_Tn_ n175_a_loosechange__1->n175_a_loosechange__1_2 n175_a_loosechange__1_3 NP-OB1 n175_a_loosechange__1->n175_a_loosechange__1_3 n175_a_loosechange__1_4 PUNC n175_a_loosechange__1->n175_a_loosechange__1_4 n175_a_loosechange__1_1_1 PRO n175_a_loosechange__1_1->n175_a_loosechange__1_1_1 n175_a_loosechange__1_1_1->n175_a_loosechange__1_1_1_1 n175_a_loosechange__1_2->n175_a_loosechange__1_2_1 n175_a_loosechange__1_3_1 NUM n175_a_loosechange__1_3->n175_a_loosechange__1_3_1 n175_a_loosechange__1_3_2 ADJP n175_a_loosechange__1_3->n175_a_loosechange__1_3_2 n175_a_loosechange__1_3_3 NS n175_a_loosechange__1_3->n175_a_loosechange__1_3_3 n175_a_loosechange__1_3_4 PUNC n175_a_loosechange__1_3->n175_a_loosechange__1_3_4 n175_a_loosechange__1_3_5 IP-PPL n175_a_loosechange__1_3->n175_a_loosechange__1_3_5 n175_a_loosechange__1_3_1->n175_a_loosechange__1_3_1_1 n175_a_loosechange__1_3_2_1 ADJ n175_a_loosechange__1_3_2->n175_a_loosechange__1_3_2_1 n175_a_loosechange__1_3_2_1->n175_a_loosechange__1_3_2_1_1 n175_a_loosechange__1_3_3->n175_a_loosechange__1_3_3_1 n175_a_loosechange__1_3_4->n175_a_loosechange__1_3_4_1 n175_a_loosechange__1_3_5_1 NP-PRD n175_a_loosechange__1_3_5->n175_a_loosechange__1_3_5_1 n175_a_loosechange__1_3_5_1_1 NUM n175_a_loosechange__1_3_5_1->n175_a_loosechange__1_3_5_1_1 n175_a_loosechange__1_3_5_1_2 PP n175_a_loosechange__1_3_5_1->n175_a_loosechange__1_3_5_1_2 n175_a_loosechange__1_3_5_1_3 ADJP n175_a_loosechange__1_3_5_1->n175_a_loosechange__1_3_5_1_3 n175_a_loosechange__1_3_5_1_1->n175_a_loosechange__1_3_5_1_1_1 n175_a_loosechange__1_3_5_1_2_1 P-ROLE n175_a_loosechange__1_3_5_1_2->n175_a_loosechange__1_3_5_1_2_1 n175_a_loosechange__1_3_5_1_2_2 NP n175_a_loosechange__1_3_5_1_2->n175_a_loosechange__1_3_5_1_2_2 n175_a_loosechange__1_3_5_1_2_1->n175_a_loosechange__1_3_5_1_2_1_1 n175_a_loosechange__1_3_5_1_2_2_1 PRO n175_a_loosechange__1_3_5_1_2_2->n175_a_loosechange__1_3_5_1_2_2_1 n175_a_loosechange__1_3_5_1_2_2_1->n175_a_loosechange__1_3_5_1_2_2_1_1 n175_a_loosechange__1_3_5_1_3_1 ADJ n175_a_loosechange__1_3_5_1_3->n175_a_loosechange__1_3_5_1_3_1 n175_a_loosechange__1_3_5_1_3_1->n175_a_loosechange__1_3_5_1_3_1_1 n175_a_loosechange__1_4->n175_a_loosechange__1_4_1 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (HVD;_Tn_ had;{have})
          (NP-OB1;{BEDROOMS} (NUM three;{three})
                             (ADJP (ADJ warm;{warm}))
                             (NS bedrooms;{bedroom})
                             (PUNC ,)
                             (IP-PPL (NP-PRD (NUM one;{one})
                                             (PP (P-ROLE of;{of})
                                                 (NP;{BEDROOMS} (PRO them;{they})))
                                             (ADJP (ADJ empty;{empty})))))
          (PUNC .))
  (ID 175_a_loosechange))