TSPC 122_a_hedgehog

122_a_hedgehog
Its heartbeat goes from 240 a minute to only two a minute for six months a year.

( (IP-MAT (NP-SBJ (NP-GEN;{HEDGEHOG} (PRO;_genm_ Its;{its}))
                  (N heartbeat;{heartbeat}))
          (VBP;_Ipr_ goes;{go[from,to]})
          (PP-CLR (P-ROLE from;{from})
                  (NP (NUM 240)
                      (PRN (NP (D a;{a})
                               (N minute;{minute})))))
          (PP-CLR (P-ROLE to;{to})
                  (NP (ADVP (ADV only;{only}))
                      (NUM two;{two})
                      (PRN (NP (D a;{a})
                               (N minute;{minute})))))
          (PP-NIM (P-ROLE for;{for})
                  (NP (NUM six;{six})
                      (NS months;{month})
                      (PRN (NP (D a;{a})
                               (N year;{year})))))
          (PUNC .))
  (ID 122_a_hedgehog;speaker=Stewart))

arc(r_0122_0002__heartbeat,r_0122_0001__Its,gen).
arc(r_0122_0003__goes,r_0122_0002__heartbeat,arg0).
arc(r_0122_0003__goes,r_0122_0005__240,r_0122_0004__from__clr).
arc(r_0122_0003__goes,r_0122_0010__two,r_0122_0008__to__clr).
arc(r_0122_0003__goes,r_0122_0014__six_r_0122_0015__months,r_0122_0013__for__nim).
arc(r_0122_0010__two,r_0122_0009__only,qual).
arc(z_0122_5004,r_0122_0005__240,arg0).
arc(z_0122_5004,r_0122_0006__a_r_0122_0007__minute,prd).
arc(z_0122_5009,r_0122_0010__two,arg0).
arc(z_0122_5009,r_0122_0011__a_r_0122_0012__minute,prd).
arc(z_0122_5013,r_0122_0014__six_r_0122_0015__months,arg0).
arc(z_0122_5013,r_0122_0016__a_r_0122_0017__year,prd).

fof(formula,axiom,
    ? [R_0122_0001__ITS,R_0122_0002__HEARTBEAT,R_0122_0005__240,R_0122_0009__ONLY,R_0122_0010__TWO,R_0122_0014__SIX_R_0122_0015__MONTHS,R_0122_0003__GOES,R_0122_0006__A_R_0122_0007__MINUTE,Z_0122_5004,R_0122_0011__A_R_0122_0012__MINUTE,Z_0122_5009,R_0122_0016__A_R_0122_0017__YEAR,Z_0122_5013] :
      ( r_0122_0001__Its(R_0122_0001__ITS)
      & r_0122_0005__240(R_0122_0005__240)
      & r_0122_0006__a_r_0122_0007__minute(R_0122_0006__A_R_0122_0007__MINUTE)
      & r_0122_0009__only(R_0122_0009__ONLY)
      & r_0122_0011__a_r_0122_0012__minute(R_0122_0011__A_R_0122_0012__MINUTE)
      & r_0122_0014__six_r_0122_0015__months(R_0122_0014__SIX_R_0122_0015__MONTHS)
      & r_0122_0016__a_r_0122_0017__year(R_0122_0016__A_R_0122_0017__YEAR)
      & z_0122_5013(Z_0122_5013)
      & has_prd(Z_0122_5013,R_0122_0016__A_R_0122_0017__YEAR)
      & has_arg0(Z_0122_5013,R_0122_0014__SIX_R_0122_0015__MONTHS)
      & z_0122_5009(Z_0122_5009)
      & has_prd(Z_0122_5009,R_0122_0011__A_R_0122_0012__MINUTE)
      & has_arg0(Z_0122_5009,R_0122_0010__TWO)
      & r_0122_0010__two(R_0122_0010__TWO)
      & has_qual(R_0122_0010__TWO,R_0122_0009__ONLY)
      & z_0122_5004(Z_0122_5004)
      & has_prd(Z_0122_5004,R_0122_0006__A_R_0122_0007__MINUTE)
      & has_arg0(Z_0122_5004,R_0122_0005__240)
      & r_0122_0003__goes(R_0122_0003__GOES)
      & has_r_0122_0013__for__nim(R_0122_0003__GOES,R_0122_0014__SIX_R_0122_0015__MONTHS)
      & has_r_0122_0008__to__clr(R_0122_0003__GOES,R_0122_0010__TWO)
      & has_r_0122_0004__from__clr(R_0122_0003__GOES,R_0122_0005__240)
      & has_arg0(R_0122_0003__GOES,R_0122_0002__HEARTBEAT)
      & r_0122_0002__heartbeat(R_0122_0002__HEARTBEAT)
      & has_gen(R_0122_0002__HEARTBEAT,R_0122_0001__ITS) ) ).