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_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 [conj2] r_0140_0015__not not r_0140_0012__although->r_0140_0015__not [conj1] r_0140_0014__have_r_0140_0016__seen have seen r_0140_0015__not->r_0140_0014__have_r_0140_0016__seen [keep_scope] r_0140_0014__have_r_0140_0016__seen->r_0140_0002__I [arg0] r_0140_0017__yet yet r_0140_0014__have_r_0140_0016__seen->r_0140_0017__yet [nim] 
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_3 <lquo> n140_a_loosechange_6 I n140_a_loosechange_8 have n140_a_loosechange_11 picture n140_a_loosechange_14 of n140_a_loosechange_17 Tower n140_a_loosechange_19 Bridge n140_a_loosechange_22 at n140_a_loosechange_25 home n140_a_loosechange_28 on n140_a_loosechange_31 wall n140_a_loosechange_34 although n140_a_loosechange_38 I n140_a_loosechange_40 have n140_a_loosechange_42 not n140_a_loosechange_45 seen n140_a_loosechange_48 yet n140_a_loosechange_50 . n140_a_loosechange_52 <rquo> n140_a_loosechange_1 IP-MAT n140_a_loosechange_2 PULQ n140_a_loosechange_1->n140_a_loosechange_2 n140_a_loosechange_4 NP-SBJ n140_a_loosechange_1->n140_a_loosechange_4 n140_a_loosechange_7 HVP;_Tn_ n140_a_loosechange_1->n140_a_loosechange_7 n140_a_loosechange_9 NP-OB1 n140_a_loosechange_1->n140_a_loosechange_9 n140_a_loosechange_20 PP-NIM n140_a_loosechange_1->n140_a_loosechange_20 n140_a_loosechange_26 PP-NIM n140_a_loosechange_1->n140_a_loosechange_26 n140_a_loosechange_32 PP-SCON n140_a_loosechange_1->n140_a_loosechange_32 n140_a_loosechange_49 PUNC n140_a_loosechange_1->n140_a_loosechange_49 n140_a_loosechange_51 PURQ n140_a_loosechange_1->n140_a_loosechange_51 n140_a_loosechange_2->n140_a_loosechange_3 n140_a_loosechange_5 PRO n140_a_loosechange_4->n140_a_loosechange_5 n140_a_loosechange_5->n140_a_loosechange_6 n140_a_loosechange_7->n140_a_loosechange_8 n140_a_loosechange_10 N n140_a_loosechange_9->n140_a_loosechange_10 n140_a_loosechange_12 PP n140_a_loosechange_9->n140_a_loosechange_12 n140_a_loosechange_10->n140_a_loosechange_11 n140_a_loosechange_13 P-ROLE n140_a_loosechange_12->n140_a_loosechange_13 n140_a_loosechange_15 NP n140_a_loosechange_12->n140_a_loosechange_15 n140_a_loosechange_13->n140_a_loosechange_14 n140_a_loosechange_16 NPR n140_a_loosechange_15->n140_a_loosechange_16 n140_a_loosechange_18 NPR n140_a_loosechange_15->n140_a_loosechange_18 n140_a_loosechange_16->n140_a_loosechange_17 n140_a_loosechange_18->n140_a_loosechange_19 n140_a_loosechange_21 P-ROLE n140_a_loosechange_20->n140_a_loosechange_21 n140_a_loosechange_23 NP n140_a_loosechange_20->n140_a_loosechange_23 n140_a_loosechange_21->n140_a_loosechange_22 n140_a_loosechange_24 N n140_a_loosechange_23->n140_a_loosechange_24 n140_a_loosechange_24->n140_a_loosechange_25 n140_a_loosechange_27 P-ROLE n140_a_loosechange_26->n140_a_loosechange_27 n140_a_loosechange_29 NP n140_a_loosechange_26->n140_a_loosechange_29 n140_a_loosechange_27->n140_a_loosechange_28 n140_a_loosechange_30 N n140_a_loosechange_29->n140_a_loosechange_30 n140_a_loosechange_30->n140_a_loosechange_31 n140_a_loosechange_33 P-CONN n140_a_loosechange_32->n140_a_loosechange_33 n140_a_loosechange_35 IP-ADV n140_a_loosechange_32->n140_a_loosechange_35 n140_a_loosechange_33->n140_a_loosechange_34 n140_a_loosechange_36 NP-SBJ n140_a_loosechange_35->n140_a_loosechange_36 n140_a_loosechange_39 HVP;_cat_Ve_ n140_a_loosechange_35->n140_a_loosechange_39 n140_a_loosechange_41 NEG n140_a_loosechange_35->n140_a_loosechange_41 n140_a_loosechange_43 IP-PPL-CAT n140_a_loosechange_35->n140_a_loosechange_43 n140_a_loosechange_37 PRO n140_a_loosechange_36->n140_a_loosechange_37 n140_a_loosechange_37->n140_a_loosechange_38 n140_a_loosechange_39->n140_a_loosechange_40 n140_a_loosechange_41->n140_a_loosechange_42 n140_a_loosechange_44 VVN;__ n140_a_loosechange_43->n140_a_loosechange_44 n140_a_loosechange_46 ADVP-NIM n140_a_loosechange_43->n140_a_loosechange_46 n140_a_loosechange_44->n140_a_loosechange_45 n140_a_loosechange_47 ADV n140_a_loosechange_46->n140_a_loosechange_47 n140_a_loosechange_47->n140_a_loosechange_48 n140_a_loosechange_49->n140_a_loosechange_50 n140_a_loosechange_51->n140_a_loosechange_52 
( (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))