TSPC 20_a_freedoom

20_a_freedoom
If you're struggling with the difficulty of the game, one option is to change to an easier skill level.

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (BEP;_cat_Vg_ <apos>re;{be})
                           (IP-PPL-CAT (VAG;_Ipr_ struggling;{struggle[with]})
                                       (PP-CLR (P-ROLE with;{with})
                                               (NP (D the;{the})
                                                   (N difficulty;{difficulty})
                                                   (PP (P-ROLE of;{of})
                                                       (NP (D the;{the})
                                                           (N game;{game}))))))))
          (PUNC ,)
          (NP-SBJ (D one;{one})
                  (N option;{option}))
          (BEP;_equ_Vt_ is;{be})
          (IP-INF-PRD (TO to;{to})
                      (VB;_Ipr_ change;{change[to]})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D an;{an})
                                  (ADJP (ADJR easier;{easy}))
                                  (N skill;{skill})
                                  (N level;{level}))))
          (PUNC .))
  (ID 20_a_freedoom))

arc(r_0020_0001__If,r_0020_0003___apos_re,restriction).
arc(r_0020_0001__If,r_0020_0014__is,scope).
arc(r_0020_0003___apos_re,r_0020_0004__struggling_r_0020_0005__with,scope).
arc(r_0020_0004__struggling_r_0020_0005__with,r_0020_0002__you,arg0).
arc(r_0020_0004__struggling_r_0020_0005__with,r_0020_0006__the_r_0020_0007__difficulty,arg1).
arc(r_0020_0006__the_r_0020_0007__difficulty,r_0020_0009__the_r_0020_0010__game,r_0020_0008__of).
arc(r_0020_0014__is,r_0020_0012__one_r_0020_0013__option,arg0).
arc(r_0020_0014__is,r_0020_0016__change_r_0020_0017__to,prd).
arc(r_0020_0016__change_r_0020_0017__to,r_0020_0018__an_r_0020_0020__skill_r_0020_0021__level,arg1).
arc(r_0020_0016__change_r_0020_0017__to,z_0020_5010,arg0).
arc(r_0020_0018__an_r_0020_0020__skill_r_0020_0021__level,r_0020_0019__easier,attrib).

fof(formula,axiom,
    ! [R_0020_0003___APOS_RE_R_0020_0004__STRUGGLING_R_0020_0005__WITH,R_0020_0002__YOU,R_0020_0009__THE_R_0020_0010__GAME,R_0020_0006__THE_R_0020_0007__DIFFICULTY] :
      ( ( r_0020_0002__you(R_0020_0002__YOU)
        & r_0020_0009__the_r_0020_0010__game(R_0020_0009__THE_R_0020_0010__GAME)
        & r_0020_0003___apos_re_r_0020_0004__struggling_r_0020_0005__with(R_0020_0003___APOS_RE_R_0020_0004__STRUGGLING_R_0020_0005__WITH)
        & has_arg1(R_0020_0003___APOS_RE_R_0020_0004__STRUGGLING_R_0020_0005__WITH,R_0020_0006__THE_R_0020_0007__DIFFICULTY)
        & r_0020_0006__the_r_0020_0007__difficulty(R_0020_0006__THE_R_0020_0007__DIFFICULTY)
        & has_r_0020_0008__of(R_0020_0006__THE_R_0020_0007__DIFFICULTY,R_0020_0009__THE_R_0020_0010__GAME)
        & has_arg0(R_0020_0003___APOS_RE_R_0020_0004__STRUGGLING_R_0020_0005__WITH,R_0020_0002__YOU) )
     => ? [R_0020_0012__ONE_R_0020_0013__OPTION,R_0020_0019__EASIER,R_0020_0018__AN_R_0020_0020__SKILL_R_0020_0021__LEVEL,Z_0020_5010,R_0020_0016__CHANGE_R_0020_0017__TO,R_0020_0014__IS] :
          ( r_0020_0012__one_r_0020_0013__option(R_0020_0012__ONE_R_0020_0013__OPTION)
          & r_0020_0019__easier(R_0020_0019__EASIER)
          & z_0020_5010(Z_0020_5010)
          & r_0020_0014__is(R_0020_0014__IS)
          & has_prd(R_0020_0014__IS,R_0020_0016__CHANGE_R_0020_0017__TO)
          & r_0020_0016__change_r_0020_0017__to(R_0020_0016__CHANGE_R_0020_0017__TO)
          & has_arg0(R_0020_0016__CHANGE_R_0020_0017__TO,Z_0020_5010)
          & has_arg1(R_0020_0016__CHANGE_R_0020_0017__TO,R_0020_0018__AN_R_0020_0020__SKILL_R_0020_0021__LEVEL)
          & r_0020_0018__an_r_0020_0020__skill_r_0020_0021__level(R_0020_0018__AN_R_0020_0020__SKILL_R_0020_0021__LEVEL)
          & has_attrib(R_0020_0018__AN_R_0020_0020__SKILL_R_0020_0021__LEVEL,R_0020_0019__EASIER)
          & has_arg0(R_0020_0014__IS,R_0020_0012__ONE_R_0020_0013__OPTION) ) ) ).