Context                Previous, Next                Top


9_a_genieus
‘That's fixed him!

%3 r_0009_0003___apos_s 's r_0009_0004__fixed fixed r_0009_0003___apos_s->r_0009_0004__fixed [scope] r_0009_0002__That That r_0009_0004__fixed->r_0009_0002__That [arg0] r_0009_0005__him him r_0009_0004__fixed->r_0009_0005__him [arg1] 
arc(r_0009_0003___apos_s, r_0009_0004__fixed, scope).
arc(r_0009_0004__fixed, r_0009_0002__That, arg0).
arc(r_0009_0004__fixed, r_0009_0005__him, arg1).


%3 r_0009_0003___apos_s_r_0009_0004__fixed 's fixed r_0009_0002__That That r_0009_0003___apos_s_r_0009_0004__fixed->r_0009_0002__That [arg0] r_0009_0005__him him r_0009_0003___apos_s_r_0009_0004__fixed->r_0009_0005__him [arg1] 
fof(formula,axiom,
    ? [R_9_3__APOS_S_FIXED,R_9_2_THAT,R_9_5_HIM] :
      ( that(R_9_2_THAT)
      & him(R_9_5_HIM)
      & _apos_s_fixed(R_9_3__APOS_S_FIXED,R_9_2_THAT,R_9_5_HIM) ) ).


n9_a_genieus n9_a_genieus_3 <lsquo> n9_a_genieus_6 That n9_a_genieus_8 's n9_a_genieus_11 fixed n9_a_genieus_14 him n9_a_genieus_16 ! n9_a_genieus_1 IP-MAT n9_a_genieus_2 PULQ n9_a_genieus_1->n9_a_genieus_2 n9_a_genieus_4 NP-SBJ n9_a_genieus_1->n9_a_genieus_4 n9_a_genieus_7 HVP;_cat_Ve_ n9_a_genieus_1->n9_a_genieus_7 n9_a_genieus_9 IP-PPL-CAT n9_a_genieus_1->n9_a_genieus_9 n9_a_genieus_15 PUNC n9_a_genieus_1->n9_a_genieus_15 n9_a_genieus_2->n9_a_genieus_3 n9_a_genieus_5 D n9_a_genieus_4->n9_a_genieus_5 n9_a_genieus_5->n9_a_genieus_6 n9_a_genieus_7->n9_a_genieus_8 n9_a_genieus_10 VVN;_Tn_ n9_a_genieus_9->n9_a_genieus_10 n9_a_genieus_12 NP-OB1 n9_a_genieus_9->n9_a_genieus_12 n9_a_genieus_10->n9_a_genieus_11 n9_a_genieus_13 PRO n9_a_genieus_12->n9_a_genieus_13 n9_a_genieus_13->n9_a_genieus_14 n9_a_genieus_15->n9_a_genieus_16 
( (IP-MAT (PULQ <lsquo>)
          (NP-SBJ (D That;{that}))
          (HVP;_cat_Ve_ <apos>s;{have})
          (IP-PPL-CAT (VVN;_Tn_ fixed;{fix})
                      (NP-OB1 (PRO him;{he})))
          (PUNC !))
  (ID 9_a_genieus))