( (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))

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__nim).
arc(r_0005_0008__crying,r_0005_0001__The_r_0005_0002__princess,arg0).
arc(z_0005_5002,r_0005_0003__stood,scope).
arc(z_0005_5002,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_0005_5002] :
      ( 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_0005_5002(Z_0005_5002)
      & has_conj1(Z_0005_5002,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_0005_5002,R_0005_0003__STOOD)
      & r_0005_0003__stood(R_0005_0003__STOOD)
      & has_r_0005_0004__behind__nim(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) ) ).