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

arc(r_0042_0001__Dancing,z_0042_5003,arg0).
arc(r_0042_0002__was,r_0042_0001__Dancing,arg0).
arc(r_0042_0002__was,r_0042_0003__instantaneous,prd).
arc(r_0042_0008__enjoining,r_0042_0005__Mrs_dot__r_0042_0006__Fennel,arg0).
arc(r_0042_0008__enjoining,r_0042_0007__privately,nim).
arc(r_0042_0008__enjoining,r_0042_0009__the_r_0042_0010__players,arg2).
arc(r_0042_0008__enjoining,r_0042_0012__no__quant,arg1).
arc(r_0042_0012__no__quant,r_0042_0013__account,restriction).
arc(r_0042_0012__no__quant,r_0042_0015__let,scope).
arc(r_0042_0015__let,r_0042_0009__the_r_0042_0010__players,arg0).
arc(r_0042_0015__let,r_0042_0013__account,r_0042_0011__on__nim).
arc(r_0042_0015__let,r_0042_0016__the_r_0042_0017__dance,arg1).
arc(r_0042_0015__let,r_0042_0018__exceed,prd).
arc(r_0042_0018__exceed,r_0042_0019__the_r_0042_0020__length,arg1).
arc(r_0042_0018__exceed,z_0042_5012,arg0).
arc(r_0042_0019__the_r_0042_0020__length,r_0042_0022__a_r_0042_0023__quarter,r_0042_0021__of).
arc(r_0042_0022__a_r_0042_0023__quarter,r_0042_0025__an_r_0042_0026__hour,r_0042_0024__of).
arc(z_0042_5005,r_0042_0002__was,scope).
arc(z_0042_5005,r_0042_0008__enjoining,restriction).

fof(formula,axiom,
    ? [Z_0042_5003,R_0042_0001__DANCING,R_0042_0003__INSTANTANEOUS,R_0042_0002__WAS,R_0042_0005__MRS_DOT__R_0042_0006__FENNEL,R_0042_0007__PRIVATELY,R_0042_0009__THE_R_0042_0010__PLAYERS,R_0042_0008__ENJOINING,Z_0042_5005] :
      ( r_0042_0003__instantaneous(R_0042_0003__INSTANTANEOUS)
      & r_0042_0005__Mrs_dot__r_0042_0006__Fennel(R_0042_0005__MRS_DOT__R_0042_0006__FENNEL)
      & r_0042_0007__privately(R_0042_0007__PRIVATELY)
      & r_0042_0009__the_r_0042_0010__players(R_0042_0009__THE_R_0042_0010__PLAYERS)
      & z_0042_5003(Z_0042_5003)
      & z_0042_5005(Z_0042_5005)
      & has_conj1(Z_0042_5005,R_0042_0008__ENJOINING)
      & r_0042_0008__enjoining(R_0042_0008__ENJOINING)
      & ! [R_0042_0013__ACCOUNT] :
          ( r_0042_0013__account(R_0042_0013__ACCOUNT)
         => ? [R_0042_0016__THE_R_0042_0017__DANCE,R_0042_0025__AN_R_0042_0026__HOUR,R_0042_0022__A_R_0042_0023__QUARTER,R_0042_0019__THE_R_0042_0020__LENGTH,Z_0042_5012,R_0042_0018__EXCEED,R_0042_0015__LET] :
              ( r_0042_0016__the_r_0042_0017__dance(R_0042_0016__THE_R_0042_0017__DANCE)
              & r_0042_0025__an_r_0042_0026__hour(R_0042_0025__AN_R_0042_0026__HOUR)
              & z_0042_5012(Z_0042_5012)
              & r_0042_0015__let(R_0042_0015__LET)
              & has_prd(R_0042_0015__LET,R_0042_0018__EXCEED)
              & r_0042_0018__exceed(R_0042_0018__EXCEED)
              & has_arg0(R_0042_0018__EXCEED,Z_0042_5012)
              & has_arg1(R_0042_0018__EXCEED,R_0042_0019__THE_R_0042_0020__LENGTH)
              & r_0042_0019__the_r_0042_0020__length(R_0042_0019__THE_R_0042_0020__LENGTH)
              & has_r_0042_0021__of(R_0042_0019__THE_R_0042_0020__LENGTH,R_0042_0022__A_R_0042_0023__QUARTER)
              & r_0042_0022__a_r_0042_0023__quarter(R_0042_0022__A_R_0042_0023__QUARTER)
              & has_r_0042_0024__of(R_0042_0022__A_R_0042_0023__QUARTER,R_0042_0025__AN_R_0042_0026__HOUR)
              & has_arg1(R_0042_0015__LET,R_0042_0016__THE_R_0042_0017__DANCE)
              & has_r_0042_0011__on__nim(R_0042_0015__LET,R_0042_0013__ACCOUNT)
              & has_arg0(R_0042_0015__LET,R_0042_0009__THE_R_0042_0010__PLAYERS) ) )
      & has_arg2(R_0042_0008__ENJOINING,R_0042_0009__THE_R_0042_0010__PLAYERS)
      & has_nim(R_0042_0008__ENJOINING,R_0042_0007__PRIVATELY)
      & has_arg0(R_0042_0008__ENJOINING,R_0042_0005__MRS_DOT__R_0042_0006__FENNEL)
      & has_conj2(Z_0042_5005,R_0042_0002__WAS)
      & r_0042_0002__was(R_0042_0002__WAS)
      & has_prd(R_0042_0002__WAS,R_0042_0003__INSTANTANEOUS)
      & has_arg0(R_0042_0002__WAS,R_0042_0001__DANCING)
      & r_0042_0001__Dancing(R_0042_0001__DANCING)
      & has_arg0(R_0042_0001__DANCING,Z_0042_5003) ) ).