137_a_joyce_1914
Eliza smoothed her dress over her knees.

%3 r_0137_0002__smoothed smoothed r_0137_0001__Eliza Eliza r_0137_0002__smoothed->r_0137_0001__Eliza [arg0] r_0137_0004__dress dress r_0137_0002__smoothed->r_0137_0004__dress [arg1] r_0137_0007__knees knees r_0137_0002__smoothed->r_0137_0007__knees over [nim] r_0137_0004__dress->r_0137_0001__Eliza [gen] r_0137_0007__knees->r_0137_0001__Eliza [gen]
arc(r_0137_0002__smoothed, r_0137_0001__Eliza, arg0).
arc(r_0137_0002__smoothed, r_0137_0004__dress, arg1).
arc(r_0137_0002__smoothed, r_0137_0007__knees, r_0137_0005__over_nim16).
arc(r_0137_0004__dress, r_0137_0001__Eliza, gen).
arc(r_0137_0007__knees, r_0137_0001__Eliza, gen).



%3 r_0137_0002__smoothed smoothed r_0137_0001__Eliza Eliza r_0137_0002__smoothed->r_0137_0001__Eliza [arg0] r_0137_0004__dress dress r_0137_0002__smoothed->r_0137_0004__dress [arg1] r_0137_0007__knees knees r_0137_0002__smoothed->r_0137_0007__knees over [nim] r_0137_0004__dress->r_0137_0001__Eliza [gen] r_0137_0007__knees->r_0137_0001__Eliza [gen]
fof(formula,axiom,
    ? [R_137_2_SMOOTHED,R_137_4_DRESS,R_137_7_KNEES,R_137_1_ELIZA] :
      ( eliza(R_137_1_ELIZA)
      & smoothed(R_137_2_SMOOTHED,R_137_1_ELIZA,R_137_4_DRESS)
      & dress(R_137_4_DRESS)
      & gen(R_137_4_DRESS,R_137_1_ELIZA)
      & over_nim16(R_137_2_SMOOTHED,R_137_7_KNEES)
      & knees(R_137_7_KNEES)
      & gen(R_137_7_KNEES,R_137_1_ELIZA) ) ).



n137_a_joyce_1914 n137_a_joyce_1914_4 Eliza n137_a_joyce_1914_6 smoothed n137_a_joyce_1914_10 her n137_a_joyce_1914_12 dress n137_a_joyce_1914_15 over n137_a_joyce_1914_19 her n137_a_joyce_1914_21 knees n137_a_joyce_1914_23 . n137_a_joyce_1914_1 IP-MAT n137_a_joyce_1914_2 NP-SBJ n137_a_joyce_1914_1->n137_a_joyce_1914_2 n137_a_joyce_1914_5 VBD;_Tn_ n137_a_joyce_1914_1->n137_a_joyce_1914_5 n137_a_joyce_1914_7 NP-OB1 n137_a_joyce_1914_1->n137_a_joyce_1914_7 n137_a_joyce_1914_13 PP-NIM n137_a_joyce_1914_1->n137_a_joyce_1914_13 n137_a_joyce_1914_22 PUNC n137_a_joyce_1914_1->n137_a_joyce_1914_22 n137_a_joyce_1914_3 NPR n137_a_joyce_1914_2->n137_a_joyce_1914_3 n137_a_joyce_1914_3->n137_a_joyce_1914_4 n137_a_joyce_1914_5->n137_a_joyce_1914_6 n137_a_joyce_1914_8 NP-GEN n137_a_joyce_1914_7->n137_a_joyce_1914_8 n137_a_joyce_1914_11 N n137_a_joyce_1914_7->n137_a_joyce_1914_11 n137_a_joyce_1914_9 PRO;_genm_ n137_a_joyce_1914_8->n137_a_joyce_1914_9 n137_a_joyce_1914_9->n137_a_joyce_1914_10 n137_a_joyce_1914_11->n137_a_joyce_1914_12 n137_a_joyce_1914_14 P-ROLE n137_a_joyce_1914_13->n137_a_joyce_1914_14 n137_a_joyce_1914_16 NP n137_a_joyce_1914_13->n137_a_joyce_1914_16 n137_a_joyce_1914_14->n137_a_joyce_1914_15 n137_a_joyce_1914_17 NP-GEN n137_a_joyce_1914_16->n137_a_joyce_1914_17 n137_a_joyce_1914_20 NS n137_a_joyce_1914_16->n137_a_joyce_1914_20 n137_a_joyce_1914_18 PRO;_genm_ n137_a_joyce_1914_17->n137_a_joyce_1914_18 n137_a_joyce_1914_18->n137_a_joyce_1914_19 n137_a_joyce_1914_20->n137_a_joyce_1914_21 n137_a_joyce_1914_22->n137_a_joyce_1914_23
( (IP-MAT (NP-SBJ;{ELIZA} (NPR Eliza;{Eliza}))
          (VBD;_Tn_ smoothed;{smooth})
          (NP-OB1 (NP-GEN;{ELIZA} (PRO;_genm_ her;{her}))
                  (N dress;{dress}))
          (PP-NIM (P-ROLE over;{over})
                  (NP (NP-GEN;{ELIZA} (PRO;_genm_ her;{her}))
                      (NS knees;{knee})))
          (PUNC .))
  (ID 137_a_joyce_1914))