TSPC 5_a_stories_10

5_a_stories_10_k58
What I thought was a most humorous action by Mickey was when he discovered the staircase.

( (IP-MAT (NP-SBJ (IP-REL (NP-105 (RPRO What;{what}))
                          (NP-SBJ (PRO I;{I}))
                          (VBD;_Tf_ thought;{think})
                          (CP-THT-OB1 (IP-SUB (NP-SBJ *ICH*-105)
                                              (BED;_Ln_ was;{be})
                                              (NP-PRD (D a;{a})
                                                      (ADJP (ADVP (ADVS most;{most}))
                                                            (ADJ humorous;{humorous}))
                                                      (N action;{action})
                                                      (PP (P-ROLE by;{by})
                                                          (NP;{MICKEY} (NPR Mickey;{Mickey}))))))))
          (BED;_Ln_ was;{be})
          (NP-PRD (IP-REL (ADVP-NIM (RADV when;{when}))
                          (NP-SBJ;{MICKEY} (PRO he;{he}))
                          (VBD;_Tn_ discovered;{discover})
                          (NP-OB1 (D the;{the})
                                  (N staircase;{staircase}))))
          (PUNC .))
  (ID 5_a_stories_10_k58))

arc(r_0005_0003__thought,r_0005_0002__I,arg0).
arc(r_0005_0003__thought,r_0005_0004__was,arg1).
arc(r_0005_0004__was,r_0005_0001__What,arg0).
arc(r_0005_0004__was,r_0005_0005__a_r_0005_0008__action,prd).
arc(r_0005_0005__a_r_0005_0008__action,r_0005_0007__humorous,attrib).
arc(r_0005_0005__a_r_0005_0008__action,r_0005_0010__Mickey,r_0005_0009__by).
arc(r_0005_0007__humorous,r_0005_0006__most,qual).
arc(r_0005_0011__was,r_0005_0001__What,arg0).
arc(r_0005_0011__was,r_0005_0012__when,prd).
arc(r_0005_0014__discovered,r_0005_0010__Mickey,arg0).
arc(r_0005_0014__discovered,r_0005_0012__when,nim).
arc(r_0005_0014__discovered,r_0005_0015__the_r_0005_0016__staircase,arg1).

fof(formula,axiom,
    ? [R_0005_0002__I,R_0005_0001__WHAT,R_0005_0006__MOST,R_0005_0007__HUMOROUS,R_0005_0010__MICKEY,R_0005_0005__A_R_0005_0008__ACTION,R_0005_0004__WAS,R_0005_0003__THOUGHT,R_0005_0012__WHEN,R_0005_0011__WAS,R_0005_0015__THE_R_0005_0016__STAIRCASE,R_0005_0014__DISCOVERED] :
      ( r_0005_0001__What(R_0005_0001__WHAT)
      & r_0005_0002__I(R_0005_0002__I)
      & r_0005_0006__most(R_0005_0006__MOST)
      & r_0005_0010__Mickey(R_0005_0010__MICKEY)
      & r_0005_0012__when(R_0005_0012__WHEN)
      & r_0005_0015__the_r_0005_0016__staircase(R_0005_0015__THE_R_0005_0016__STAIRCASE)
      & r_0005_0014__discovered(R_0005_0014__DISCOVERED)
      & has_arg1(R_0005_0014__DISCOVERED,R_0005_0015__THE_R_0005_0016__STAIRCASE)
      & has_nim(R_0005_0014__DISCOVERED,R_0005_0012__WHEN)
      & has_arg0(R_0005_0014__DISCOVERED,R_0005_0010__MICKEY)
      & r_0005_0011__was(R_0005_0011__WAS)
      & has_prd(R_0005_0011__WAS,R_0005_0012__WHEN)
      & has_arg0(R_0005_0011__WAS,R_0005_0001__WHAT)
      & r_0005_0003__thought(R_0005_0003__THOUGHT)
      & has_arg1(R_0005_0003__THOUGHT,R_0005_0004__WAS)
      & r_0005_0004__was(R_0005_0004__WAS)
      & has_prd(R_0005_0004__WAS,R_0005_0005__A_R_0005_0008__ACTION)
      & r_0005_0005__a_r_0005_0008__action(R_0005_0005__A_R_0005_0008__ACTION)
      & has_r_0005_0009__by(R_0005_0005__A_R_0005_0008__ACTION,R_0005_0010__MICKEY)
      & has_attrib(R_0005_0005__A_R_0005_0008__ACTION,R_0005_0007__HUMOROUS)
      & r_0005_0007__humorous(R_0005_0007__HUMOROUS)
      & has_qual(R_0005_0007__HUMOROUS,R_0005_0006__MOST)
      & has_arg0(R_0005_0004__WAS,R_0005_0001__WHAT)
      & has_arg0(R_0005_0003__THOUGHT,R_0005_0002__I) ) ).