Context                Previous, Next                Top


111_a_loosechange
‘It's square we have slept before.’

%3 r_0111_0003___apos_s 's r_0111_0002__It It r_0111_0003___apos_s->r_0111_0002__It [arg0] r_0111_0004__square square r_0111_0003___apos_s->r_0111_0004__square [prd] r_0111_0006__have have r_0111_0007__slept slept r_0111_0006__have->r_0111_0007__slept [scope] r_0111_0007__slept->r_0111_0004__square [nim] r_0111_0005__we we r_0111_0007__slept->r_0111_0005__we [arg0] r_0111_0008__before before r_0111_0007__slept->r_0111_0008__before [nim] 
arc(r_0111_0003___apos_s, r_0111_0002__It, arg0).
arc(r_0111_0003___apos_s, r_0111_0004__square, prd).
arc(r_0111_0006__have, r_0111_0007__slept, scope).
arc(r_0111_0007__slept, r_0111_0004__square, nim19).
arc(r_0111_0007__slept, r_0111_0005__we, arg0).
arc(r_0111_0007__slept, r_0111_0008__before, nim23).


%3 r_0111_0006__have_r_0111_0007__slept have slept r_0111_0008__before before r_0111_0006__have_r_0111_0007__slept->r_0111_0008__before [nim] r_0111_0005__we we r_0111_0006__have_r_0111_0007__slept->r_0111_0005__we [arg0] r_0111_0004__square square r_0111_0006__have_r_0111_0007__slept->r_0111_0004__square [nim] r_0111_0003___apos_s 's r_0111_0003___apos_s->r_0111_0004__square [prd] r_0111_0002__It It r_0111_0003___apos_s->r_0111_0002__It [arg0] 
fof(formula,axiom,
    ? [R_111_3__APOS_S,R_111_2_IT,R_111_6_HAVE_SLEPT,R_111_5_WE,R_111_4_SQUARE,R_111_8_BEFORE] :
      ( it(R_111_2_IT)
      & we(R_111_5_WE)
      & square(R_111_4_SQUARE)
      & before(R_111_8_BEFORE)
      & _apos_s(R_111_3__APOS_S,R_111_2_IT,R_111_4_SQUARE)
      & have_slept(R_111_6_HAVE_SLEPT,R_111_5_WE)
      & nim19(R_111_6_HAVE_SLEPT,R_111_4_SQUARE)
      & nim23(R_111_6_HAVE_SLEPT,R_111_8_BEFORE) ) ).


n111_a_loosechange n111_a_loosechange__1_1_1 <lquo> n111_a_loosechange__1_2_1_1 It n111_a_loosechange__1_3_1 's n111_a_loosechange__1_4_1_1 square n111_a_loosechange__1_4_2_1_1_1 we n111_a_loosechange__1_4_2_2_1 have n111_a_loosechange__1_4_2_3_1_1 *T* n111_a_loosechange__1_4_2_3_2_1 slept n111_a_loosechange__1_4_2_3_3_1_1 before n111_a_loosechange__1_5_1 . n111_a_loosechange__1_6_1 <rquo> n111_a_loosechange__1 IP-MAT n111_a_loosechange__1_1 PULQ n111_a_loosechange__1->n111_a_loosechange__1_1 n111_a_loosechange__1_2 NP-SBJ n111_a_loosechange__1->n111_a_loosechange__1_2 n111_a_loosechange__1_3 BEP;_Ln_ n111_a_loosechange__1->n111_a_loosechange__1_3 n111_a_loosechange__1_4 NP-PRD n111_a_loosechange__1->n111_a_loosechange__1_4 n111_a_loosechange__1_5 PUNC n111_a_loosechange__1->n111_a_loosechange__1_5 n111_a_loosechange__1_6 PURQ n111_a_loosechange__1->n111_a_loosechange__1_6 n111_a_loosechange__1_1->n111_a_loosechange__1_1_1 n111_a_loosechange__1_2_1 PRO n111_a_loosechange__1_2->n111_a_loosechange__1_2_1 n111_a_loosechange__1_2_1->n111_a_loosechange__1_2_1_1 n111_a_loosechange__1_3->n111_a_loosechange__1_3_1 n111_a_loosechange__1_4_1 N n111_a_loosechange__1_4->n111_a_loosechange__1_4_1 n111_a_loosechange__1_4_2 IP-REL n111_a_loosechange__1_4->n111_a_loosechange__1_4_2 n111_a_loosechange__1_4_1->n111_a_loosechange__1_4_1_1 n111_a_loosechange__1_4_2_1 NP-SBJ n111_a_loosechange__1_4_2->n111_a_loosechange__1_4_2_1 n111_a_loosechange__1_4_2_2 HVP;_cat_Ve_ n111_a_loosechange__1_4_2->n111_a_loosechange__1_4_2_2 n111_a_loosechange__1_4_2_3 IP-PPL-CAT n111_a_loosechange__1_4_2->n111_a_loosechange__1_4_2_3 n111_a_loosechange__1_4_2_1_1 PRO n111_a_loosechange__1_4_2_1->n111_a_loosechange__1_4_2_1_1 n111_a_loosechange__1_4_2_1_1->n111_a_loosechange__1_4_2_1_1_1 n111_a_loosechange__1_4_2_2->n111_a_loosechange__1_4_2_2_1 n111_a_loosechange__1_4_2_3_1 NP-NIM n111_a_loosechange__1_4_2_3->n111_a_loosechange__1_4_2_3_1 n111_a_loosechange__1_4_2_3_2 VVN;_I_ n111_a_loosechange__1_4_2_3->n111_a_loosechange__1_4_2_3_2 n111_a_loosechange__1_4_2_3_3 ADVP-NIM n111_a_loosechange__1_4_2_3->n111_a_loosechange__1_4_2_3_3 n111_a_loosechange__1_4_2_3_1->n111_a_loosechange__1_4_2_3_1_1 n111_a_loosechange__1_4_2_3_2->n111_a_loosechange__1_4_2_3_2_1 n111_a_loosechange__1_4_2_3_3_1 ADV n111_a_loosechange__1_4_2_3_3->n111_a_loosechange__1_4_2_3_3_1 n111_a_loosechange__1_4_2_3_3_1->n111_a_loosechange__1_4_2_3_3_1_1 n111_a_loosechange__1_5->n111_a_loosechange__1_5_1 n111_a_loosechange__1_6->n111_a_loosechange__1_6_1 
( (IP-MAT (PULQ <lquo>)
          (NP-SBJ;{SLEEPING_PLACE} (PRO It;{it}))
          (BEP;_Ln_ <apos>s;{be})
          (NP-PRD (N square;{square})
                  (IP-REL (NP-SBJ (PRO we;{we}))
                          (HVP;_cat_Ve_ have;{have})
                          (IP-PPL-CAT (NP-NIM *T*)
                                      (VVN;_I_ slept;{sleep})
                                      (ADVP-NIM (ADV before;{before})))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 111_a_loosechange))