TSPC 21_a_fce_0100_2001

21_a_fce_0100_2001_06
A group of American students has just arrived in your town and the group leader has asked for information on an interesting building to visit.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D A;{a})
                              (N group;{group})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ American;{american}))
                                      (NS students;{student}))))
                      (HVP;_cat_Ve_ has;{have})
                      (IP-PPL-CAT (ADVP-NIM (ADV just;{just}))
                                  (VVN;_Ipr_ arrived;{arrive[in]})
                                  (PP-CLR (P-ROLE in;{in})
                                          (NP (NP-GEN (PRO;_genm_ your;{your}))
                                              (N town;{town})))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N group;{group})
                                     (N leader;{leader}))
                             (HVP;_cat_Ve_ has;{have})
                             (IP-PPL-CAT (VVN;_Ipr_ asked;{ask[for]})
                                         (PP-CLR (P-ROLE for;{for})
                                                 (NP (N information;{information})
                                                     (PP (P-ROLE on;{on})
                                                         (NP (D an;{an})
                                                             (ADJP (ADJ interesting;{interesting}))
                                                             (N building;{building})
                                                             (IP-INF-REL (NP-OB1 *T*)
                                                                         (TO to;{to})
                                                                         (VB;_Tn_ visit;{visit}))))))))))
          (PUNC .))
  (ID 21_a_fce_0100_2001_06))

arc(r_0021_0001__A_r_0021_0002__group,r_0021_0005__students,r_0021_0003__of).
arc(r_0021_0005__students,r_0021_0004__American,attrib).
arc(r_0021_0006__has,r_0021_0008__arrived_r_0021_0009__in,scope).
arc(r_0021_0008__arrived_r_0021_0009__in,r_0021_0001__A_r_0021_0002__group,arg0).
arc(r_0021_0008__arrived_r_0021_0009__in,r_0021_0007__just,nim).
arc(r_0021_0008__arrived_r_0021_0009__in,r_0021_0011__town,arg1).
arc(r_0021_0011__town,r_0021_0010__your,gen).
arc(r_0021_0012__and,r_0021_0006__has,conj1).
arc(r_0021_0012__and,r_0021_0016__has,conj2).
arc(r_0021_0016__has,r_0021_0017__asked_r_0021_0018__for,scope).
arc(r_0021_0017__asked_r_0021_0018__for,r_0021_0013__the_r_0021_0014__group_r_0021_0015__leader,arg0).
arc(r_0021_0017__asked_r_0021_0018__for,r_0021_0019__information,arg1).
arc(r_0021_0019__information,r_0021_0021__an_r_0021_0023__building,r_0021_0020__on).
arc(r_0021_0021__an_r_0021_0023__building,r_0021_0022__interesting,attrib).
arc(r_0021_0025__visit,r_0021_0021__an_r_0021_0023__building,inv_arg1).
arc(r_0021_0025__visit,z_0021_5015,arg0).

fof(formula,axiom,
    ? [R_0021_0004__AMERICAN,R_0021_0005__STUDENTS,R_0021_0001__A_R_0021_0002__GROUP,R_0021_0007__JUST,R_0021_0010__YOUR,R_0021_0011__TOWN,R_0021_0006__HAS_R_0021_0008__ARRIVED_R_0021_0009__IN,R_0021_0013__THE_R_0021_0014__GROUP_R_0021_0015__LEADER,R_0021_0022__INTERESTING,Z_0021_5015,R_0021_0025__VISIT,R_0021_0021__AN_R_0021_0023__BUILDING,R_0021_0019__INFORMATION,R_0021_0016__HAS_R_0021_0017__ASKED_R_0021_0018__FOR,R_0021_0012__AND] :
      ( r_0021_0004__American(R_0021_0004__AMERICAN)
      & r_0021_0007__just(R_0021_0007__JUST)
      & r_0021_0010__your(R_0021_0010__YOUR)
      & r_0021_0013__the_r_0021_0014__group_r_0021_0015__leader(R_0021_0013__THE_R_0021_0014__GROUP_R_0021_0015__LEADER)
      & r_0021_0022__interesting(R_0021_0022__INTERESTING)
      & z_0021_5015(Z_0021_5015)
      & r_0021_0012__and(R_0021_0012__AND)
      & has_conj2(R_0021_0012__AND,R_0021_0016__HAS_R_0021_0017__ASKED_R_0021_0018__FOR)
      & r_0021_0016__has_r_0021_0017__asked_r_0021_0018__for(R_0021_0016__HAS_R_0021_0017__ASKED_R_0021_0018__FOR)
      & has_arg1(R_0021_0016__HAS_R_0021_0017__ASKED_R_0021_0018__FOR,R_0021_0019__INFORMATION)
      & r_0021_0019__information(R_0021_0019__INFORMATION)
      & has_r_0021_0020__on(R_0021_0019__INFORMATION,R_0021_0021__AN_R_0021_0023__BUILDING)
      & r_0021_0021__an_r_0021_0023__building(R_0021_0021__AN_R_0021_0023__BUILDING)
      & has_inv_arg1(R_0021_0021__AN_R_0021_0023__BUILDING,R_0021_0025__VISIT)
      & r_0021_0025__visit(R_0021_0025__VISIT)
      & has_arg0(R_0021_0025__VISIT,Z_0021_5015)
      & has_attrib(R_0021_0021__AN_R_0021_0023__BUILDING,R_0021_0022__INTERESTING)
      & has_arg0(R_0021_0016__HAS_R_0021_0017__ASKED_R_0021_0018__FOR,R_0021_0013__THE_R_0021_0014__GROUP_R_0021_0015__LEADER)
      & has_conj1(R_0021_0012__AND,R_0021_0006__HAS_R_0021_0008__ARRIVED_R_0021_0009__IN)
      & r_0021_0006__has_r_0021_0008__arrived_r_0021_0009__in(R_0021_0006__HAS_R_0021_0008__ARRIVED_R_0021_0009__IN)
      & has_arg1(R_0021_0006__HAS_R_0021_0008__ARRIVED_R_0021_0009__IN,R_0021_0011__TOWN)
      & r_0021_0011__town(R_0021_0011__TOWN)
      & has_gen(R_0021_0011__TOWN,R_0021_0010__YOUR)
      & has_nim(R_0021_0006__HAS_R_0021_0008__ARRIVED_R_0021_0009__IN,R_0021_0007__JUST)
      & has_arg0(R_0021_0006__HAS_R_0021_0008__ARRIVED_R_0021_0009__IN,R_0021_0001__A_R_0021_0002__GROUP)
      & r_0021_0001__A_r_0021_0002__group(R_0021_0001__A_R_0021_0002__GROUP)
      & has_r_0021_0003__of(R_0021_0001__A_R_0021_0002__GROUP,R_0021_0005__STUDENTS)
      & r_0021_0005__students(R_0021_0005__STUDENTS)
      & has_attrib(R_0021_0005__STUDENTS,R_0021_0004__AMERICAN) ) ).