Context                Previous, Next                Top


140_a_loosechange
‘I have picture of Tower Bridge at home on wall although I have not seen yet.’

%3 r_0140_0003__have have r_0140_0002__I I r_0140_0003__have->r_0140_0002__I [arg0] r_0140_0004__picture picture r_0140_0003__have->r_0140_0004__picture [arg1] r_0140_0009__home home r_0140_0003__have->r_0140_0009__home at [nim] r_0140_0011__wall wall r_0140_0003__have->r_0140_0011__wall on [nim] r_0140_0006__Tower_r_0140_0007__Bridge Tower Bridge r_0140_0004__picture->r_0140_0006__Tower_r_0140_0007__Bridge of r_0140_0012__although although r_0140_0012__although->r_0140_0003__have [scope] r_0140_0015__not not r_0140_0012__although->r_0140_0015__not [restriction] r_0140_0014__have have r_0140_0015__not->r_0140_0014__have [keep_scope] r_0140_0016__seen seen r_0140_0014__have->r_0140_0016__seen [scope] r_0140_0016__seen->r_0140_0002__I [arg0] r_0140_0017__yet yet r_0140_0016__seen->r_0140_0017__yet [nim] 
arc(r_0140_0003__have, r_0140_0002__I, arg0).
arc(r_0140_0003__have, r_0140_0004__picture, arg1).
arc(r_0140_0003__have, r_0140_0009__home, r_0140_0008__at_nim23).
arc(r_0140_0003__have, r_0140_0011__wall, r_0140_0010__on_nim29).
arc(r_0140_0004__picture, r_0140_0006__Tower_r_0140_0007__Bridge, r_0140_0005__of).
arc(r_0140_0012__although, r_0140_0003__have, scope).
arc(r_0140_0012__although, r_0140_0015__not, restriction).
arc(r_0140_0014__have, r_0140_0016__seen, scope).
arc(r_0140_0015__not, r_0140_0014__have, keep_scope).
arc(r_0140_0016__seen, r_0140_0002__I, arg0).
arc(r_0140_0016__seen, r_0140_0017__yet, nim46).


%3 r_0140_0014__have_r_0140_0016__seen have seen r_0140_0017__yet yet r_0140_0014__have_r_0140_0016__seen->r_0140_0017__yet [nim] r_0140_0002__I I r_0140_0014__have_r_0140_0016__seen->r_0140_0002__I [arg0] r_0140_0015__not not r_0140_0015__not->r_0140_0014__have_r_0140_0016__seen [keep_scope] r_0140_0012__although although r_0140_0012__although->r_0140_0015__not [conj1] r_0140_0003__have have r_0140_0012__although->r_0140_0003__have [conj2] r_0140_0003__have->r_0140_0002__I [arg0] r_0140_0004__picture picture r_0140_0003__have->r_0140_0004__picture [arg1] r_0140_0011__wall wall r_0140_0003__have->r_0140_0011__wall on [nim] r_0140_0009__home home r_0140_0003__have->r_0140_0009__home at [nim] r_0140_0006__Tower_r_0140_0007__Bridge Tower Bridge r_0140_0004__picture->r_0140_0006__Tower_r_0140_0007__Bridge of 
fof(formula,axiom,
    ? [R_140_12_ALTHOUGH,R_140_3_HAVE,R_140_2_I,R_140_4_PICTURE,R_140_6_TOWER_BRIDGE,R_140_9_HOME,R_140_11_WALL] :
      ( i(R_140_2_I)
      & tower_Bridge(R_140_6_TOWER_BRIDGE)
      & home(R_140_9_HOME)
      & wall(R_140_11_WALL)
      & although(R_140_12_ALTHOUGH)
      & conj1(R_140_12_ALTHOUGH,R_140_15_NOT)
      & ~ ? [R_140_14_HAVE_SEEN,R_140_17_YET] :
            ( yet(R_140_17_YET)
            & have_seen(R_140_14_HAVE_SEEN,R_140_2_I)
            & nim46(R_140_14_HAVE_SEEN,R_140_17_YET) )
      & conj2(R_140_12_ALTHOUGH,R_140_3_HAVE)
      & have(R_140_3_HAVE,R_140_2_I,R_140_4_PICTURE)
      & picture(R_140_4_PICTURE)
      & of(R_140_4_PICTURE,R_140_6_TOWER_BRIDGE)
      & at_nim23(R_140_3_HAVE,R_140_9_HOME)
      & on_nim29(R_140_3_HAVE,R_140_11_WALL) ) ).


n140_a_loosechange n140_a_loosechange__1_1_1 <lquo> n140_a_loosechange__1_2_1_1 I n140_a_loosechange__1_3_1 have n140_a_loosechange__1_4_1_1 picture n140_a_loosechange__1_4_2_1_1 of n140_a_loosechange__1_4_2_2_1_1 Tower n140_a_loosechange__1_4_2_2_2_1 Bridge n140_a_loosechange__1_5_1_1 at n140_a_loosechange__1_5_2_1_1 home n140_a_loosechange__1_6_1_1 on n140_a_loosechange__1_6_2_1_1 wall n140_a_loosechange__1_7_1_1 although n140_a_loosechange__1_7_2_1_1_1 I n140_a_loosechange__1_7_2_2_1 have n140_a_loosechange__1_7_2_3_1 not n140_a_loosechange__1_7_2_4_1_1 seen n140_a_loosechange__1_7_2_4_2_1_1 yet n140_a_loosechange__1_8_1 . n140_a_loosechange__1_9_1 <rquo> n140_a_loosechange__1 IP-MAT n140_a_loosechange__1_1 PULQ n140_a_loosechange__1->n140_a_loosechange__1_1 n140_a_loosechange__1_2 NP-SBJ n140_a_loosechange__1->n140_a_loosechange__1_2 n140_a_loosechange__1_3 HVP;_Tn_ n140_a_loosechange__1->n140_a_loosechange__1_3 n140_a_loosechange__1_4 NP-OB1 n140_a_loosechange__1->n140_a_loosechange__1_4 n140_a_loosechange__1_5 PP-NIM n140_a_loosechange__1->n140_a_loosechange__1_5 n140_a_loosechange__1_6 PP-NIM n140_a_loosechange__1->n140_a_loosechange__1_6 n140_a_loosechange__1_7 PP-SCON n140_a_loosechange__1->n140_a_loosechange__1_7 n140_a_loosechange__1_8 PUNC n140_a_loosechange__1->n140_a_loosechange__1_8 n140_a_loosechange__1_9 PURQ n140_a_loosechange__1->n140_a_loosechange__1_9 n140_a_loosechange__1_1->n140_a_loosechange__1_1_1 n140_a_loosechange__1_2_1 PRO n140_a_loosechange__1_2->n140_a_loosechange__1_2_1 n140_a_loosechange__1_2_1->n140_a_loosechange__1_2_1_1 n140_a_loosechange__1_3->n140_a_loosechange__1_3_1 n140_a_loosechange__1_4_1 N n140_a_loosechange__1_4->n140_a_loosechange__1_4_1 n140_a_loosechange__1_4_2 PP n140_a_loosechange__1_4->n140_a_loosechange__1_4_2 n140_a_loosechange__1_4_1->n140_a_loosechange__1_4_1_1 n140_a_loosechange__1_4_2_1 P-ROLE n140_a_loosechange__1_4_2->n140_a_loosechange__1_4_2_1 n140_a_loosechange__1_4_2_2 NP n140_a_loosechange__1_4_2->n140_a_loosechange__1_4_2_2 n140_a_loosechange__1_4_2_1->n140_a_loosechange__1_4_2_1_1 n140_a_loosechange__1_4_2_2_1 NPR n140_a_loosechange__1_4_2_2->n140_a_loosechange__1_4_2_2_1 n140_a_loosechange__1_4_2_2_2 NPR n140_a_loosechange__1_4_2_2->n140_a_loosechange__1_4_2_2_2 n140_a_loosechange__1_4_2_2_1->n140_a_loosechange__1_4_2_2_1_1 n140_a_loosechange__1_4_2_2_2->n140_a_loosechange__1_4_2_2_2_1 n140_a_loosechange__1_5_1 P-ROLE n140_a_loosechange__1_5->n140_a_loosechange__1_5_1 n140_a_loosechange__1_5_2 NP n140_a_loosechange__1_5->n140_a_loosechange__1_5_2 n140_a_loosechange__1_5_1->n140_a_loosechange__1_5_1_1 n140_a_loosechange__1_5_2_1 N n140_a_loosechange__1_5_2->n140_a_loosechange__1_5_2_1 n140_a_loosechange__1_5_2_1->n140_a_loosechange__1_5_2_1_1 n140_a_loosechange__1_6_1 P-ROLE n140_a_loosechange__1_6->n140_a_loosechange__1_6_1 n140_a_loosechange__1_6_2 NP n140_a_loosechange__1_6->n140_a_loosechange__1_6_2 n140_a_loosechange__1_6_1->n140_a_loosechange__1_6_1_1 n140_a_loosechange__1_6_2_1 N n140_a_loosechange__1_6_2->n140_a_loosechange__1_6_2_1 n140_a_loosechange__1_6_2_1->n140_a_loosechange__1_6_2_1_1 n140_a_loosechange__1_7_1 P-CONN n140_a_loosechange__1_7->n140_a_loosechange__1_7_1 n140_a_loosechange__1_7_2 IP-ADV n140_a_loosechange__1_7->n140_a_loosechange__1_7_2 n140_a_loosechange__1_7_1->n140_a_loosechange__1_7_1_1 n140_a_loosechange__1_7_2_1 NP-SBJ n140_a_loosechange__1_7_2->n140_a_loosechange__1_7_2_1 n140_a_loosechange__1_7_2_2 HVP;_cat_Ve_ n140_a_loosechange__1_7_2->n140_a_loosechange__1_7_2_2 n140_a_loosechange__1_7_2_3 NEG n140_a_loosechange__1_7_2->n140_a_loosechange__1_7_2_3 n140_a_loosechange__1_7_2_4 IP-PPL-CAT n140_a_loosechange__1_7_2->n140_a_loosechange__1_7_2_4 n140_a_loosechange__1_7_2_1_1 PRO n140_a_loosechange__1_7_2_1->n140_a_loosechange__1_7_2_1_1 n140_a_loosechange__1_7_2_1_1->n140_a_loosechange__1_7_2_1_1_1 n140_a_loosechange__1_7_2_2->n140_a_loosechange__1_7_2_2_1 n140_a_loosechange__1_7_2_3->n140_a_loosechange__1_7_2_3_1 n140_a_loosechange__1_7_2_4_1 VVN;__ n140_a_loosechange__1_7_2_4->n140_a_loosechange__1_7_2_4_1 n140_a_loosechange__1_7_2_4_2 ADVP-NIM n140_a_loosechange__1_7_2_4->n140_a_loosechange__1_7_2_4_2 n140_a_loosechange__1_7_2_4_1->n140_a_loosechange__1_7_2_4_1_1 n140_a_loosechange__1_7_2_4_2_1 ADV n140_a_loosechange__1_7_2_4_2->n140_a_loosechange__1_7_2_4_2_1 n140_a_loosechange__1_7_2_4_2_1->n140_a_loosechange__1_7_2_4_2_1_1 n140_a_loosechange__1_8->n140_a_loosechange__1_8_1 n140_a_loosechange__1_9->n140_a_loosechange__1_9_1 
( (IP-MAT (PULQ <lquo>)
          (NP-SBJ (PRO I;{I}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (N picture;{picture})
                  (PP (P-ROLE of;{of})
                      (NP;{TOWER_BRIDGE} (NPR Tower;{Tower})
                                         (NPR Bridge;{Bridge}))))
          (PP-NIM (P-ROLE at;{at})
                  (NP (N home;{home})))
          (PP-NIM (P-ROLE on;{on})
                  (NP (N wall;{wall})))
          (PP-SCON (P-CONN although;{although})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (HVP;_cat_Ve_ have;{have})
                           (NEG not;{not})
                           (IP-PPL-CAT (VVN;__ seen;{see})
                                       (ADVP-NIM (ADV yet;{yet})))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 140_a_loosechange))