( (IP-MAT (NP-SBJ (NUM Three;{three})
                  (NS numbers;{number}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ displayed;{display})
                      (PP-NIM (P-ROLE at;{at})
                              (NP (D the;{the})
                                  (N top;{top})
                                  (PP (P-ROLE of;{of})
                                      (NP;{SCREEN} (D the;{the})
                                                   (N screen;{screen}))))))
          (PUNC :)
          (PRN (IP-MAT (ILYR (ILYR (NP-SBJ (D the;{the})
                                           (ADJP (ADJ first;{first})))
                                   (VBP;_Tn_ shows;{show})
                                   (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                           (N score;{score})))
                             (CONJP (CONJ and;{and})
                                    (ILYR (NP-SBJ (D the;{the})
                                                  (ADJP (AJLYR (AJLYR (ADJ second;{second}))
                                                               (CONJP (CONJ and;{and})
                                                                      (AJLYR (ADJ third;{third}))))))
                                          (VBP;_Tn_ show;{show})
                                          (NP-OB1 (D the;{the})
                                                  (NS numbers;{number})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (NLYR (NLYR (IP-PPL (VAG;_I_ remaining;{remain}))
                                                                      (N laser;{laser})
                                                                      (NS ships;{ship}))
                                                                (CONJP (CONJ and;{and})
                                                                       (NLYR (ADJP (ADJ smart;{smart}))
                                                                             (NS bombs;{bomb})))))))
                                          (ADVP-NIM (ADV respectively;{respectively})))))))
          (PUNC .))
  (ID 16_a_planetoid))

arc(r_0016_0003__are,r_0016_0004__displayed,scope).
arc(r_0016_0003__are,r_0016_0017__and,prn).
arc(r_0016_0004__displayed,r_0016_0001__Three_r_0016_0002__numbers,arg1).
arc(r_0016_0004__displayed,r_0016_0006__the_r_0016_0007__top,r_0016_0005__at__nim).
arc(r_0016_0004__displayed,z_0016_5023___star_,arg0).
arc(r_0016_0006__the_r_0016_0007__top,r_0016_0009__the_r_0016_0010__screen,r_0016_0008__of).
arc(r_0016_0012__the,r_0016_0013__first,attrib).
arc(r_0016_0014__shows,r_0016_0012__the,arg0).
arc(r_0016_0014__shows,r_0016_0016__score,arg1).
arc(r_0016_0016__score,r_0016_0015__your,gen).
arc(r_0016_0017__and,r_0016_0014__shows,conj1).
arc(r_0016_0017__and,r_0016_0022__show,conj2).
arc(r_0016_0018__the,r_0016_0020__and,attrib).
arc(r_0016_0020__and,r_0016_0019__second,conj1).
arc(r_0016_0020__and,r_0016_0021__third,conj2).
arc(r_0016_0022__show,r_0016_0018__the,arg0).
arc(r_0016_0022__show,r_0016_0023__the_r_0016_0024__numbers,arg1).
arc(r_0016_0022__show,r_0016_0032__respectively,nim).
arc(r_0016_0023__the_r_0016_0024__numbers,r_0016_0029__and,r_0016_0025__of).
arc(r_0016_0026__remaining,r_0016_0027__laser_r_0016_0028__ships,inv_arg0).
arc(r_0016_0029__and,r_0016_0027__laser_r_0016_0028__ships,conj1).
arc(r_0016_0029__and,r_0016_0031__bombs,conj2).
arc(r_0016_0031__bombs,r_0016_0030__smart,attrib).

fof(formula,axiom,
    ? [R_0016_0013__FIRST,R_0016_0012__THE,R_0016_0015__YOUR,R_0016_0016__SCORE,R_0016_0014__SHOWS,R_0016_0019__SECOND,R_0016_0021__THIRD,R_0016_0020__AND,R_0016_0018__THE,R_0016_0026__REMAINING,R_0016_0027__LASER_R_0016_0028__SHIPS,R_0016_0030__SMART,R_0016_0031__BOMBS,R_0016_0029__AND,R_0016_0023__THE_R_0016_0024__NUMBERS,R_0016_0032__RESPECTIVELY,R_0016_0022__SHOW,R_0016_0017__AND,R_0016_0001__THREE_R_0016_0002__NUMBERS,R_0016_0009__THE_R_0016_0010__SCREEN,R_0016_0006__THE_R_0016_0007__TOP,Z_0016_5023___STAR_,R_0016_0003__ARE_R_0016_0004__DISPLAYED] :
      ( r_0016_0001__Three_r_0016_0002__numbers(R_0016_0001__THREE_R_0016_0002__NUMBERS)
      & r_0016_0009__the_r_0016_0010__screen(R_0016_0009__THE_R_0016_0010__SCREEN)
      & r_0016_0013__first(R_0016_0013__FIRST)
      & r_0016_0015__your(R_0016_0015__YOUR)
      & r_0016_0019__second(R_0016_0019__SECOND)
      & r_0016_0021__third(R_0016_0021__THIRD)
      & r_0016_0026__remaining(R_0016_0026__REMAINING)
      & r_0016_0030__smart(R_0016_0030__SMART)
      & r_0016_0032__respectively(R_0016_0032__RESPECTIVELY)
      & z_0016_5023___star_(Z_0016_5023___STAR_)
      & r_0016_0003__are_r_0016_0004__displayed(R_0016_0003__ARE_R_0016_0004__DISPLAYED)
      & has_arg0(R_0016_0003__ARE_R_0016_0004__DISPLAYED,Z_0016_5023___STAR_)
      & has_r_0016_0005__at__nim(R_0016_0003__ARE_R_0016_0004__DISPLAYED,R_0016_0006__THE_R_0016_0007__TOP)
      & r_0016_0006__the_r_0016_0007__top(R_0016_0006__THE_R_0016_0007__TOP)
      & has_r_0016_0008__of(R_0016_0006__THE_R_0016_0007__TOP,R_0016_0009__THE_R_0016_0010__SCREEN)
      & has_arg1(R_0016_0003__ARE_R_0016_0004__DISPLAYED,R_0016_0001__THREE_R_0016_0002__NUMBERS)
      & has_prn(R_0016_0003__ARE_R_0016_0004__DISPLAYED,R_0016_0017__AND)
      & r_0016_0017__and(R_0016_0017__AND)
      & has_conj2(R_0016_0017__AND,R_0016_0022__SHOW)
      & r_0016_0022__show(R_0016_0022__SHOW)
      & has_nim(R_0016_0022__SHOW,R_0016_0032__RESPECTIVELY)
      & has_arg1(R_0016_0022__SHOW,R_0016_0023__THE_R_0016_0024__NUMBERS)
      & r_0016_0023__the_r_0016_0024__numbers(R_0016_0023__THE_R_0016_0024__NUMBERS)
      & has_r_0016_0025__of(R_0016_0023__THE_R_0016_0024__NUMBERS,R_0016_0029__AND)
      & r_0016_0029__and(R_0016_0029__AND)
      & has_conj2(R_0016_0029__AND,R_0016_0031__BOMBS)
      & r_0016_0031__bombs(R_0016_0031__BOMBS)
      & has_attrib(R_0016_0031__BOMBS,R_0016_0030__SMART)
      & has_conj1(R_0016_0029__AND,R_0016_0027__LASER_R_0016_0028__SHIPS)
      & r_0016_0027__laser_r_0016_0028__ships(R_0016_0027__LASER_R_0016_0028__SHIPS)
      & has_inv_arg0(R_0016_0027__LASER_R_0016_0028__SHIPS,R_0016_0026__REMAINING)
      & has_arg0(R_0016_0022__SHOW,R_0016_0018__THE)
      & r_0016_0018__the(R_0016_0018__THE)
      & has_attrib(R_0016_0018__THE,R_0016_0020__AND)
      & r_0016_0020__and(R_0016_0020__AND)
      & has_conj2(R_0016_0020__AND,R_0016_0021__THIRD)
      & has_conj1(R_0016_0020__AND,R_0016_0019__SECOND)
      & has_conj1(R_0016_0017__AND,R_0016_0014__SHOWS)
      & r_0016_0014__shows(R_0016_0014__SHOWS)
      & has_arg1(R_0016_0014__SHOWS,R_0016_0016__SCORE)
      & r_0016_0016__score(R_0016_0016__SCORE)
      & has_gen(R_0016_0016__SCORE,R_0016_0015__YOUR)
      & has_arg0(R_0016_0014__SHOWS,R_0016_0012__THE)
      & r_0016_0012__the(R_0016_0012__THE)
      & has_attrib(R_0016_0012__THE,R_0016_0013__FIRST) ) ).