arc(r_0043_0001__Dancing, z_000_43_a_hardy_1883_2, arg0).
arc(r_0043_0002__was, r_0043_0001__Dancing, arg0).
arc(r_0043_0002__was, r_0043_0003__instantaneous, prd).
arc(r_0043_0008__enjoining, r_0043_0005__Mrs_dot__r_0043_0006__Fennel, arg0).
arc(r_0043_0008__enjoining, r_0043_0007__privately, nim19).
arc(r_0043_0008__enjoining, r_0043_0009__the_r_0043_0010__players, arg2).
arc(r_0043_0008__enjoining, r_0043_0012__no_quant, arg1).
arc(r_0043_0012__no_quant, r_0043_0013__account, restriction).
arc(r_0043_0012__no_quant, r_0043_0014__to_r_0043_0015__let, scope).
arc(r_0043_0014__to_r_0043_0015__let, r_0043_0009__the_r_0043_0010__players, arg0).
arc(r_0043_0014__to_r_0043_0015__let, r_0043_0013__account, r_0043_0011__on_nim33).
arc(r_0043_0014__to_r_0043_0015__let, r_0043_0016__the_r_0043_0017__dance, arg1).
arc(r_0043_0014__to_r_0043_0015__let, r_0043_0018__exceed, prd).
arc(r_0043_0018__exceed, r_0043_0019__the_r_0043_0020__length, arg1).
arc(r_0043_0018__exceed, x_000_43_a_hardy_1883_47, arg0).
arc(r_0043_0019__the_r_0043_0020__length, r_0043_0022__a_r_0043_0023__quarter, r_0043_0021__of).
arc(r_0043_0022__a_r_0043_0023__quarter, r_0043_0025__an_r_0043_0026__hour, r_0043_0024__of).
arc(z_000_43_a_hardy_1883_12, r_0043_0002__was, scope).
arc(z_000_43_a_hardy_1883_12, r_0043_0008__enjoining, restriction).

fof(formula,axiom,
    ? [Z_000_43_A_HARDY_1883_2,R_0043_0001__DANCING,R_0043_0003__INSTANTANEOUS,R_0043_0002__WAS,R_0043_0005__MRS_DOT__R_0043_0006__FENNEL,R_0043_0007__PRIVATELY,R_0043_0009__THE_R_0043_0010__PLAYERS,R_0043_0008__ENJOINING,Z_000_43_A_HARDY_1883_12] :
      ( r_0043_0003__instantaneous(R_0043_0003__INSTANTANEOUS)
      & r_0043_0005__Mrs_dot__r_0043_0006__Fennel(R_0043_0005__MRS_DOT__R_0043_0006__FENNEL)
      & r_0043_0007__privately(R_0043_0007__PRIVATELY)
      & r_0043_0009__the_r_0043_0010__players(R_0043_0009__THE_R_0043_0010__PLAYERS)
      & z_000_43_a_hardy_1883_2(Z_000_43_A_HARDY_1883_2)
      & z_000_43_a_hardy_1883_12(Z_000_43_A_HARDY_1883_12)
      & has_conj1(Z_000_43_A_HARDY_1883_12,R_0043_0008__ENJOINING)
      & r_0043_0008__enjoining(R_0043_0008__ENJOINING)
      & ! [R_0043_0013__ACCOUNT] :
          ( r_0043_0013__account(R_0043_0013__ACCOUNT)
         => ? [R_0043_0016__THE_R_0043_0017__DANCE,R_0043_0025__AN_R_0043_0026__HOUR,R_0043_0022__A_R_0043_0023__QUARTER,R_0043_0019__THE_R_0043_0020__LENGTH,X_000_43_A_HARDY_1883_47,R_0043_0018__EXCEED,R_0043_0014__TO_R_0043_0015__LET] :
              ( r_0043_0016__the_r_0043_0017__dance(R_0043_0016__THE_R_0043_0017__DANCE)
              & r_0043_0025__an_r_0043_0026__hour(R_0043_0025__AN_R_0043_0026__HOUR)
              & x_000_43_a_hardy_1883_47(X_000_43_A_HARDY_1883_47)
              & r_0043_0014__to_r_0043_0015__let(R_0043_0014__TO_R_0043_0015__LET)
              & has_prd(R_0043_0014__TO_R_0043_0015__LET,R_0043_0018__EXCEED)
              & r_0043_0018__exceed(R_0043_0018__EXCEED)
              & has_arg0(R_0043_0018__EXCEED,X_000_43_A_HARDY_1883_47)
              & has_arg1(R_0043_0018__EXCEED,R_0043_0019__THE_R_0043_0020__LENGTH)
              & r_0043_0019__the_r_0043_0020__length(R_0043_0019__THE_R_0043_0020__LENGTH)
              & has_r_0043_0021__of(R_0043_0019__THE_R_0043_0020__LENGTH,R_0043_0022__A_R_0043_0023__QUARTER)
              & r_0043_0022__a_r_0043_0023__quarter(R_0043_0022__A_R_0043_0023__QUARTER)
              & has_r_0043_0024__of(R_0043_0022__A_R_0043_0023__QUARTER,R_0043_0025__AN_R_0043_0026__HOUR)
              & has_arg1(R_0043_0014__TO_R_0043_0015__LET,R_0043_0016__THE_R_0043_0017__DANCE)
              & has_r_0043_0011__on_nim33(R_0043_0014__TO_R_0043_0015__LET,R_0043_0013__ACCOUNT)
              & has_arg0(R_0043_0014__TO_R_0043_0015__LET,R_0043_0009__THE_R_0043_0010__PLAYERS) ) )
      & has_arg2(R_0043_0008__ENJOINING,R_0043_0009__THE_R_0043_0010__PLAYERS)
      & has_nim19(R_0043_0008__ENJOINING,R_0043_0007__PRIVATELY)
      & has_arg0(R_0043_0008__ENJOINING,R_0043_0005__MRS_DOT__R_0043_0006__FENNEL)
      & has_conj2(Z_000_43_A_HARDY_1883_12,R_0043_0002__WAS)
      & r_0043_0002__was(R_0043_0002__WAS)
      & has_prd(R_0043_0002__WAS,R_0043_0003__INSTANTANEOUS)
      & has_arg0(R_0043_0002__WAS,R_0043_0001__DANCING)
      & r_0043_0001__Dancing(R_0043_0001__DANCING)
      & has_arg0(R_0043_0001__DANCING,Z_000_43_A_HARDY_1883_2) ) ).

( (IP-MAT (IP-PPL-SBJ (VAG;__ Dancing;{dance}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJ instantaneous;{instantaneous}))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (N Mrs<dot>)
                                    (NPR Fennel;{Fennel}))
                            (ADVP-NIM (ADV privately;{privately}))
                            (VAG;__ enjoining;{enjoin})
                            (NP-OB2 (D the;{the})
                                    (NS players;{player}))
                            (IP-INF-OB1 (PP-NIM (P-ROLE on;{on})
                                                (NP (Q no;{no})
                                                    (N account;{account})))
                                        (TO to;{to})
                                        (VB;__ let;{let})
                                        (NP-OB1 (D the;{the})
                                                (N dance;{dance}))
                                        (IP-INF-PRD (VB;__ exceed;{exceed})
                                                    (NP-OB1 (D the;{the})
                                                            (N length;{length})
                                                            (PP (P-ROLE of;{of})
                                                                (NP (D a;{a})
                                                                    (N quarter;{quarter})
                                                                    (PP (P-ROLE of;{of})
                                                                        (NP (D an;{an})
                                                                            (N hour;{hour}))))))))))
          (PUNC .))
  (ID 43_a_hardy_1883))