TSPC 156_a_ted_talk

156_a_ted_talk_11
If you want real evidence of out-of-body experiences, get yourself along to a residential conference of senior academics, and pop into the discotheque on the final night.

( (IP-IMP (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Tn_ want;{want})
                           (NP-OB1;{EVIDENCE} (ADJP (ADJ real;{real}))
                                              (N evidence;{evidence})
                                              (PP (P-ROLE of;{of})
                                                  (NP (ADJP (ADJ out_<hyphen>_of_<hyphen>_body;{out_of_body}))
                                                      (NS experiences;{experience}))))))
          (PUNC ,)
          (ILYR (ILYR (VB;_Tn.pr_ get;{get})
                      (NP-OB1 (PNX yourself;{yourself}))
                      (PP-NIM (P-ROLE along_to;{along_to})
                              (NP (D a;{a})
                                  (ADJP (ADJ residential;{residential}))
                                  (N conference;{conference})
                                  (PP (P-ROLE of;{of})
                                      (NP (ADJP (ADJ senior;{senior}))
                                          (NS academics;{academic}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_Ipr_ pop;{pop[into]})
                             (PP-CLR (P-ROLE into;{into})
                                     (NP (D the;{the})
                                         (N discotheque;{discotheque})))
                             (PP-NIM (P-ROLE on;{on})
                                     (NP (D the;{the})
                                         (ADJP (ADJ final;{final}))
                                         (N night;{night}))))))
          (PUNC .))
  (ID 156_a_ted_talk_11))

arc(r_0156_0001__If,r_0156_0003__want,restriction).
arc(r_0156_0001__If,r_0156_0020__and,scope).
arc(r_0156_0003__want,r_0156_0002__you,arg0).
arc(r_0156_0003__want,r_0156_0005__evidence,arg1).
arc(r_0156_0005__evidence,r_0156_0004__real,attrib).
arc(r_0156_0005__evidence,r_0156_0008__experiences,r_0156_0006__of).
arc(r_0156_0008__experiences,r_0156_0007__out__hyphen__of__hyphen__body,attrib).
arc(r_0156_0010__get,r_0156_0011__yourself,arg1).
arc(r_0156_0010__get,r_0156_0013__a_r_0156_0015__conference,r_0156_0012__along_to__nim).
arc(r_0156_0010__get,z_0156_5002,arg0).
arc(r_0156_0013__a_r_0156_0015__conference,r_0156_0014__residential,attrib).
arc(r_0156_0013__a_r_0156_0015__conference,r_0156_0018__academics,r_0156_0016__of).
arc(r_0156_0018__academics,r_0156_0017__senior,attrib).
arc(r_0156_0020__and,r_0156_0010__get,conj1).
arc(r_0156_0020__and,r_0156_0021__pop_r_0156_0022__into,conj2).
arc(r_0156_0021__pop_r_0156_0022__into,r_0156_0023__the_r_0156_0024__discotheque,arg1).
arc(r_0156_0021__pop_r_0156_0022__into,r_0156_0026__the_r_0156_0028__night,r_0156_0025__on__nim).
arc(r_0156_0021__pop_r_0156_0022__into,z_0156_5002,arg0).
arc(r_0156_0026__the_r_0156_0028__night,r_0156_0027__final,attrib).

fof(formula,axiom,
    ! [R_0156_0003__WANT,R_0156_0002__YOU,R_0156_0004__REAL,R_0156_0007__OUT__HYPHEN__OF__HYPHEN__BODY,R_0156_0008__EXPERIENCES,R_0156_0005__EVIDENCE] :
      ( ( r_0156_0002__you(R_0156_0002__YOU)
        & r_0156_0004__real(R_0156_0004__REAL)
        & r_0156_0007__out__hyphen__of__hyphen__body(R_0156_0007__OUT__HYPHEN__OF__HYPHEN__BODY)
        & r_0156_0003__want(R_0156_0003__WANT)
        & has_arg1(R_0156_0003__WANT,R_0156_0005__EVIDENCE)
        & r_0156_0005__evidence(R_0156_0005__EVIDENCE)
        & has_r_0156_0006__of(R_0156_0005__EVIDENCE,R_0156_0008__EXPERIENCES)
        & r_0156_0008__experiences(R_0156_0008__EXPERIENCES)
        & has_attrib(R_0156_0008__EXPERIENCES,R_0156_0007__OUT__HYPHEN__OF__HYPHEN__BODY)
        & has_attrib(R_0156_0005__EVIDENCE,R_0156_0004__REAL)
        & has_arg0(R_0156_0003__WANT,R_0156_0002__YOU) )
     => ? [R_0156_0011__YOURSELF,R_0156_0014__RESIDENTIAL,R_0156_0017__SENIOR,R_0156_0018__ACADEMICS,R_0156_0013__A_R_0156_0015__CONFERENCE,Z_0156_5002,R_0156_0010__GET,R_0156_0023__THE_R_0156_0024__DISCOTHEQUE,R_0156_0027__FINAL,R_0156_0026__THE_R_0156_0028__NIGHT,R_0156_0021__POP_R_0156_0022__INTO,R_0156_0020__AND] :
          ( r_0156_0011__yourself(R_0156_0011__YOURSELF)
          & r_0156_0014__residential(R_0156_0014__RESIDENTIAL)
          & r_0156_0017__senior(R_0156_0017__SENIOR)
          & r_0156_0023__the_r_0156_0024__discotheque(R_0156_0023__THE_R_0156_0024__DISCOTHEQUE)
          & r_0156_0027__final(R_0156_0027__FINAL)
          & z_0156_5002(Z_0156_5002)
          & r_0156_0020__and(R_0156_0020__AND)
          & has_conj2(R_0156_0020__AND,R_0156_0021__POP_R_0156_0022__INTO)
          & r_0156_0021__pop_r_0156_0022__into(R_0156_0021__POP_R_0156_0022__INTO)
          & has_arg0(R_0156_0021__POP_R_0156_0022__INTO,Z_0156_5002)
          & has_r_0156_0025__on__nim(R_0156_0021__POP_R_0156_0022__INTO,R_0156_0026__THE_R_0156_0028__NIGHT)
          & r_0156_0026__the_r_0156_0028__night(R_0156_0026__THE_R_0156_0028__NIGHT)
          & has_attrib(R_0156_0026__THE_R_0156_0028__NIGHT,R_0156_0027__FINAL)
          & has_arg1(R_0156_0021__POP_R_0156_0022__INTO,R_0156_0023__THE_R_0156_0024__DISCOTHEQUE)
          & has_conj1(R_0156_0020__AND,R_0156_0010__GET)
          & r_0156_0010__get(R_0156_0010__GET)
          & has_arg0(R_0156_0010__GET,Z_0156_5002)
          & has_r_0156_0012__along_to__nim(R_0156_0010__GET,R_0156_0013__A_R_0156_0015__CONFERENCE)
          & r_0156_0013__a_r_0156_0015__conference(R_0156_0013__A_R_0156_0015__CONFERENCE)
          & has_r_0156_0016__of(R_0156_0013__A_R_0156_0015__CONFERENCE,R_0156_0018__ACADEMICS)
          & r_0156_0018__academics(R_0156_0018__ACADEMICS)
          & has_attrib(R_0156_0018__ACADEMICS,R_0156_0017__SENIOR)
          & has_attrib(R_0156_0013__A_R_0156_0015__CONFERENCE,R_0156_0014__RESIDENTIAL)
          & has_arg1(R_0156_0010__GET,R_0156_0011__YOURSELF) ) ) ).