82_a_ted_talk_11
And we run our companies like this.
( (IP-MAT (CONJ;_cl_ And;{and})
(NP-SBJ (PRO we;{we}))
(VBP;_Tn_ run;{run})
(NP-OB1 (NP-GEN (PRO;_genm_ our;{our}))
(NS companies;{company}))
(PP-NIM (P-ROLE like;{like})
(NP (D;_nphd_ this;{this})))
(PUNC .))
(ID 82_a_ted_talk_11))
arc(r_0082_0003__run,r_0082_0002__we,arg0).
arc(r_0082_0003__run,r_0082_0005__companies,arg1).
arc(r_0082_0003__run,r_0082_0007__this,r_0082_0006__like__nim).
arc(r_0082_0005__companies,r_0082_0002__we,gen).
fof(formula,axiom,
? [R_0082_0002__WE,R_0082_0005__COMPANIES,R_0082_0007__THIS,R_0082_0003__RUN] :
( r_0082_0002__we(R_0082_0002__WE)
& r_0082_0007__this(R_0082_0007__THIS)
& r_0082_0003__run(R_0082_0003__RUN)
& has_r_0082_0006__like__nim(R_0082_0003__RUN,R_0082_0007__THIS)
& has_arg1(R_0082_0003__RUN,R_0082_0005__COMPANIES)
& r_0082_0005__companies(R_0082_0005__COMPANIES)
& has_gen(R_0082_0005__COMPANIES,R_0082_0002__WE)
& has_arg0(R_0082_0003__RUN,R_0082_0002__WE) ) ).