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, scope).
arc(r_0020_0004__struggling, r_0020_0002__you, arg0).
arc(r_0020_0004__struggling, r_0020_0006__the_r_0020_0007__difficulty, r_0020_0005__with_clr17).
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_0015__to_r_0020_0016__change, prd).
arc(r_0020_0015__to_r_0020_0016__change, r_0020_0018__an_r_0020_0020__skill_r_0020_0021__level, r_0020_0017__to_clr47).
arc(r_0020_0015__to_r_0020_0016__change, x_000_20_a_freedoom_39, arg0).
arc(r_0020_0018__an_r_0020_0020__skill_r_0020_0021__level, r_0020_0019__easier, attrib50).

fof(formula,axiom,
    ! [R_20_3__APOS_RE_STRUGGLING,R_20_2_YOU,R_20_6_THE_DIFFICULTY,R_20_9_THE_GAME] :
      ( ( you(R_20_2_YOU)
        & the_game(R_20_9_THE_GAME)
        & _apos_re_struggling(R_20_3__APOS_RE_STRUGGLING,R_20_2_YOU)
        & with_clr17(R_20_3__APOS_RE_STRUGGLING,R_20_6_THE_DIFFICULTY)
        & the_difficulty(R_20_6_THE_DIFFICULTY)
        & of(R_20_6_THE_DIFFICULTY,R_20_9_THE_GAME) )
     => ? [R_20_14_IS,R_20_12_ONE_OPTION,R_20_15_TO_CHANGE,X_20_A_FREEDOOM_39,R_20_18_AN_SKILL_LEVEL,R_20_19_EASIER] :
          ( one_option(R_20_12_ONE_OPTION)
          & easier(R_20_19_EASIER)
          & is(R_20_14_IS,R_20_12_ONE_OPTION,R_20_15_TO_CHANGE)
          & to_change(R_20_15_TO_CHANGE,X_20_A_FREEDOOM_39)
          & to_clr47(R_20_15_TO_CHANGE,R_20_18_AN_SKILL_LEVEL)
          & an_skill_level(R_20_18_AN_SKILL_LEVEL)
          & attrib50(R_20_18_AN_SKILL_LEVEL,R_20_19_EASIER) ) ) ).

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