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.

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_0005__a_r_0005_0008__action, prd).
arc(r_0005_0004__was, z_000_5_a_stories_10_k58_2, arg0).
arc(r_0005_0005__a_r_0005_0008__action, r_0005_0007__humorous, attrib21).
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, qual22).
arc(r_0005_0011__was, z_000_5_a_stories_10_k58_2, arg0).
arc(r_0005_0011__was, z_000_5_a_stories_10_k58_37, prd).
arc(r_0005_0014__discovered, r_0005_0010__Mickey, arg0).
arc(r_0005_0014__discovered, r_0005_0015__the_r_0005_0016__staircase, arg1).
arc(r_0005_0014__discovered, z_000_5_a_stories_10_k58_37, nim39).

fof(formula,axiom,
    ? [R_0005_0002__I,R_0005_0006__MOST,R_0005_0007__HUMOROUS,R_0005_0010__MICKEY,R_0005_0005__A_R_0005_0008__ACTION,Z_000_5_A_STORIES_10_K58_2,R_0005_0004__WAS,R_0005_0003__THOUGHT,Z_000_5_A_STORIES_10_K58_37,R_0005_0011__WAS,R_0005_0015__THE_R_0005_0016__STAIRCASE,R_0005_0014__DISCOVERED] :
      ( 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_0015__the_r_0005_0016__staircase(R_0005_0015__THE_R_0005_0016__STAIRCASE)
      & z_000_5_a_stories_10_k58_2(Z_000_5_A_STORIES_10_K58_2)
      & z_000_5_a_stories_10_k58_37(Z_000_5_A_STORIES_10_K58_37)
      & r_0005_0014__discovered(R_0005_0014__DISCOVERED)
      & has_nim39(R_0005_0014__DISCOVERED,Z_000_5_A_STORIES_10_K58_37)
      & has_arg1(R_0005_0014__DISCOVERED,R_0005_0015__THE_R_0005_0016__STAIRCASE)
      & has_arg0(R_0005_0014__DISCOVERED,R_0005_0010__MICKEY)
      & r_0005_0011__was(R_0005_0011__WAS)
      & has_prd(R_0005_0011__WAS,Z_000_5_A_STORIES_10_K58_37)
      & has_arg0(R_0005_0011__WAS,Z_000_5_A_STORIES_10_K58_2)
      & 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_arg0(R_0005_0004__WAS,Z_000_5_A_STORIES_10_K58_2)
      & 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_attrib21(R_0005_0005__A_R_0005_0008__ACTION,R_0005_0007__HUMOROUS)
      & r_0005_0007__humorous(R_0005_0007__HUMOROUS)
      & has_qual22(R_0005_0007__HUMOROUS,R_0005_0006__MOST)
      & has_arg0(R_0005_0003__THOUGHT,R_0005_0002__I) ) ).

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