arc(r_0005_0003__stood, r_0005_0001__The_r_0005_0002__princess, arg0).
arc(r_0005_0003__stood, r_0005_0005__the_r_0005_0006__throne, r_0005_0004__behind_nim12).
arc(r_0005_0008__crying, r_0005_0001__The_r_0005_0002__princess, arg0).
arc(z_000_5_a_genieus_19, r_0005_0003__stood, scope).
arc(z_000_5_a_genieus_19, r_0005_0008__crying, restriction).

fof(formula,axiom,
    ? [R_0005_0001__THE_R_0005_0002__PRINCESS,R_0005_0005__THE_R_0005_0006__THRONE,R_0005_0003__STOOD,R_0005_0008__CRYING,Z_000_5_A_GENIEUS_19] :
      ( r_0005_0001__The_r_0005_0002__princess(R_0005_0001__THE_R_0005_0002__PRINCESS)
      & r_0005_0005__the_r_0005_0006__throne(R_0005_0005__THE_R_0005_0006__THRONE)
      & z_000_5_a_genieus_19(Z_000_5_A_GENIEUS_19)
      & has_conj1(Z_000_5_A_GENIEUS_19,R_0005_0008__CRYING)
      & r_0005_0008__crying(R_0005_0008__CRYING)
      & has_arg0(R_0005_0008__CRYING,R_0005_0001__THE_R_0005_0002__PRINCESS)
      & has_conj2(Z_000_5_A_GENIEUS_19,R_0005_0003__STOOD)
      & r_0005_0003__stood(R_0005_0003__STOOD)
      & has_r_0005_0004__behind_nim12(R_0005_0003__STOOD,R_0005_0005__THE_R_0005_0006__THRONE)
      & has_arg0(R_0005_0003__STOOD,R_0005_0001__THE_R_0005_0002__PRINCESS) ) ).

( (IP-MAT (NP-SBJ;{PRINCESS} (D The;{the})
                             (N princess;{princess}))
          (VBD;_I_ stood;{stand})
          (PP-NIM (P-ROLE behind;{behind})
                  (NP (D the;{the})
                      (N throne;{throne})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_I_ crying;{cry})))
          (PUNC .))
  (ID 5_a_genieus))