Context                Previous, Next                Top


179_a_loosechange
Wrap her in thick towels heated on a rail.

%3 r_0179_0001__Wrap Wrap r_0179_0002__her her r_0179_0001__Wrap->r_0179_0002__her [arg1] r_0179_0005__towels towels r_0179_0001__Wrap->r_0179_0005__towels in [nim] z_000_179_a_loosechange_1 r_0179_0001__Wrap->z_000_179_a_loosechange_1 [arg0] r_0179_0004__thick thick r_0179_0005__towels->r_0179_0004__thick [attrib] r_0179_0006__heated heated r_0179_0006__heated->r_0179_0005__towels [arg0] r_0179_0008__a_r_0179_0009__rail a rail r_0179_0006__heated->r_0179_0008__a_r_0179_0009__rail on [nim] 
arc(r_0179_0001__Wrap, r_0179_0002__her, arg1).
arc(r_0179_0001__Wrap, r_0179_0005__towels, r_0179_0003__in_nim10).
arc(r_0179_0001__Wrap, z_000_179_a_loosechange_1, arg0).
arc(r_0179_0005__towels, r_0179_0004__thick, attrib11).
arc(r_0179_0006__heated, r_0179_0005__towels, arg0).
arc(r_0179_0006__heated, r_0179_0008__a_r_0179_0009__rail, r_0179_0007__on_nim22).


%3 r_0179_0006__heated heated r_0179_0008__a_r_0179_0009__rail a rail r_0179_0006__heated->r_0179_0008__a_r_0179_0009__rail on [nim] r_0179_0005__towels towels r_0179_0006__heated->r_0179_0005__towels [arg0] r_0179_0004__thick thick r_0179_0005__towels->r_0179_0004__thick [attrib] r_0179_0001__Wrap Wrap r_0179_0001__Wrap->r_0179_0005__towels in [nim] z_000_179_a_loosechange_1 r_0179_0001__Wrap->z_000_179_a_loosechange_1 [arg0] r_0179_0002__her her r_0179_0001__Wrap->r_0179_0002__her [arg1] 
fof(formula,axiom,
    ? [R_179_1_WRAP,Z_179_A_LOOSECHANGE_1,R_179_2_HER,R_179_6_HEATED,R_179_5_TOWELS,R_179_4_THICK,R_179_8_A_RAIL] :
      ( her(R_179_2_HER)
      & thick(R_179_4_THICK)
      & a_rail(R_179_8_A_RAIL)
      & wrap(R_179_1_WRAP,Z_179_A_LOOSECHANGE_1,R_179_2_HER)
      & in_nim10(R_179_1_WRAP,R_179_5_TOWELS)
      & towels(R_179_5_TOWELS)
      & attrib11(R_179_5_TOWELS,R_179_4_THICK)
      & heated(R_179_6_HEATED,R_179_5_TOWELS)
      & on_nim22(R_179_6_HEATED,R_179_8_A_RAIL) ) ).


n179_a_loosechange n179_a_loosechange__1_1_1 Wrap n179_a_loosechange__1_2_1_1 her n179_a_loosechange__1_3_1_1 in n179_a_loosechange__1_3_2_1_1_1 thick n179_a_loosechange__1_3_2_2_1 towels n179_a_loosechange__1_3_2_3_1_1 heated n179_a_loosechange__1_3_2_3_2_1_1 on n179_a_loosechange__1_3_2_3_2_2_1_1 a n179_a_loosechange__1_3_2_3_2_2_2_1 rail n179_a_loosechange__1_4_1 . n179_a_loosechange__1 IP-IMP n179_a_loosechange__1_1 VB;_Tn.pr_ n179_a_loosechange__1->n179_a_loosechange__1_1 n179_a_loosechange__1_2 NP-OB1 n179_a_loosechange__1->n179_a_loosechange__1_2 n179_a_loosechange__1_3 PP-NIM n179_a_loosechange__1->n179_a_loosechange__1_3 n179_a_loosechange__1_4 PUNC n179_a_loosechange__1->n179_a_loosechange__1_4 n179_a_loosechange__1_1->n179_a_loosechange__1_1_1 n179_a_loosechange__1_2_1 PRO n179_a_loosechange__1_2->n179_a_loosechange__1_2_1 n179_a_loosechange__1_2_1->n179_a_loosechange__1_2_1_1 n179_a_loosechange__1_3_1 P-ROLE n179_a_loosechange__1_3->n179_a_loosechange__1_3_1 n179_a_loosechange__1_3_2 NP n179_a_loosechange__1_3->n179_a_loosechange__1_3_2 n179_a_loosechange__1_3_1->n179_a_loosechange__1_3_1_1 n179_a_loosechange__1_3_2_1 ADJP n179_a_loosechange__1_3_2->n179_a_loosechange__1_3_2_1 n179_a_loosechange__1_3_2_2 NS n179_a_loosechange__1_3_2->n179_a_loosechange__1_3_2_2 n179_a_loosechange__1_3_2_3 IP-PPL n179_a_loosechange__1_3_2->n179_a_loosechange__1_3_2_3 n179_a_loosechange__1_3_2_1_1 ADJ n179_a_loosechange__1_3_2_1->n179_a_loosechange__1_3_2_1_1 n179_a_loosechange__1_3_2_1_1->n179_a_loosechange__1_3_2_1_1_1 n179_a_loosechange__1_3_2_2->n179_a_loosechange__1_3_2_2_1 n179_a_loosechange__1_3_2_3_1 VVN;_I_ n179_a_loosechange__1_3_2_3->n179_a_loosechange__1_3_2_3_1 n179_a_loosechange__1_3_2_3_2 PP-NIM n179_a_loosechange__1_3_2_3->n179_a_loosechange__1_3_2_3_2 n179_a_loosechange__1_3_2_3_1->n179_a_loosechange__1_3_2_3_1_1 n179_a_loosechange__1_3_2_3_2_1 P-ROLE n179_a_loosechange__1_3_2_3_2->n179_a_loosechange__1_3_2_3_2_1 n179_a_loosechange__1_3_2_3_2_2 NP n179_a_loosechange__1_3_2_3_2->n179_a_loosechange__1_3_2_3_2_2 n179_a_loosechange__1_3_2_3_2_1->n179_a_loosechange__1_3_2_3_2_1_1 n179_a_loosechange__1_3_2_3_2_2_1 D n179_a_loosechange__1_3_2_3_2_2->n179_a_loosechange__1_3_2_3_2_2_1 n179_a_loosechange__1_3_2_3_2_2_2 N n179_a_loosechange__1_3_2_3_2_2->n179_a_loosechange__1_3_2_3_2_2_2 n179_a_loosechange__1_3_2_3_2_2_1->n179_a_loosechange__1_3_2_3_2_2_1_1 n179_a_loosechange__1_3_2_3_2_2_2->n179_a_loosechange__1_3_2_3_2_2_2_1 n179_a_loosechange__1_4->n179_a_loosechange__1_4_1 
( (IP-IMP (VB;_Tn.pr_ Wrap;{wrap})
          (NP-OB1;{LAYLOR} (PRO her;{her}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (ADJP (ADJ thick;{thick}))
                      (NS towels;{towel})
                      (IP-PPL (VVN;_I_ heated;{heat})
                              (PP-NIM (P-ROLE on;{on})
                                      (NP (D a;{a})
                                          (N rail;{rail}))))))
          (PUNC .))
  (ID 179_a_loosechange))