38_a_alresford
I'd had my first contract for a TV drama series, and a hint that there could be more where that came from if I made myself available.
arc(r_0038_0002___apos_d, r_0038_0013__and, scope).
arc(r_0038_0003__had, r_0038_0001__I, arg0).
arc(r_0038_0003__had, r_0038_0006__contract, arg1).
arc(r_0038_0006__contract, r_0038_0001__I, gen).
arc(r_0038_0006__contract, r_0038_0005__first, attrib16).
arc(r_0038_0006__contract, r_0038_0008__a_r_0038_0009__TV_r_0038_0010__drama_r_0038_0011__series, r_0038_0007__for).
arc(r_0038_0013__and, r_0038_0003__had, conj1).
arc(r_0038_0013__and, z_000_38_a_alresford_38, conj2).
arc(r_0038_0014__a_r_0038_0015__hint, r_0038_0025__if, emb45).
arc(r_0038_0016__that_r_0038_0017__there_r_0038_0018__could, r_0038_0019__be, scope).
arc(r_0038_0019__be, z_000_38_a_alresford_55, arg0).
arc(r_0038_0019__be, z_000_38_a_alresford_59, nim59).
arc(r_0038_0023__came, r_0038_0022__that, arg0).
arc(r_0038_0023__came, z_000_38_a_alresford_59, r_0038_0024__from_clr72).
arc(r_0038_0025__if, r_0038_0016__that_r_0038_0017__there_r_0038_0018__could, scope).
arc(r_0038_0025__if, r_0038_0027__made, restriction).
arc(r_0038_0027__made, r_0038_0001__I, arg0).
arc(r_0038_0027__made, r_0038_0001__I, arg1).
arc(r_0038_0027__made, r_0038_0029__available, prd).
arc(z_000_38_a_alresford_38, r_0038_0001__I, arg0).
arc(z_000_38_a_alresford_38, r_0038_0014__a_r_0038_0015__hint, arg1).
arc(z_000_38_a_alresford_55, r_0038_0020__more, attrib56).
fof(formula,axiom,
? [R_0038_0022__THAT,Z_000_38_A_ALRESFORD_59,R_0038_0023__CAME,R_0038_0001__I,R_0038_0005__FIRST,R_0038_0008__A_R_0038_0009__TV_R_0038_0010__DRAMA_R_0038_0011__SERIES,R_0038_0006__CONTRACT,R_0038_0003__HAD,R_0038_0014__A_R_0038_0015__HINT,Z_000_38_A_ALRESFORD_38,R_0038_0013__AND,R_0038_0002___APOS_D] :
( r_0038_0001__I(R_0038_0001__I)
& r_0038_0005__first(R_0038_0005__FIRST)
& r_0038_0008__a_r_0038_0009__TV_r_0038_0010__drama_r_0038_0011__series(R_0038_0008__A_R_0038_0009__TV_R_0038_0010__DRAMA_R_0038_0011__SERIES)
& r_0038_0022__that(R_0038_0022__THAT)
& z_000_38_a_alresford_59(Z_000_38_A_ALRESFORD_59)
& r_0038_0002___apos_d(R_0038_0002___APOS_D)
& has_keep_scope(R_0038_0002___APOS_D,R_0038_0013__AND)
& r_0038_0013__and(R_0038_0013__AND)
& has_conj2(R_0038_0013__AND,Z_000_38_A_ALRESFORD_38)
& z_000_38_a_alresford_38(Z_000_38_A_ALRESFORD_38)
& has_arg1(Z_000_38_A_ALRESFORD_38,R_0038_0014__A_R_0038_0015__HINT)
& r_0038_0014__a_r_0038_0015__hint(R_0038_0014__A_R_0038_0015__HINT)
& ! [R_0038_0027__MADE,R_0038_0029__AVAILABLE] :
( ( r_0038_0029__available(R_0038_0029__AVAILABLE)
& r_0038_0027__made(R_0038_0027__MADE)
& has_prd(R_0038_0027__MADE,R_0038_0029__AVAILABLE)
& has_arg1(R_0038_0027__MADE,R_0038_0001__I)
& has_arg0(R_0038_0027__MADE,R_0038_0001__I) )
=> ? [R_0038_0020__MORE,Z_000_38_A_ALRESFORD_55,R_0038_0016__THAT_R_0038_0017__THERE_R_0038_0018__COULD_R_0038_0019__BE] :
( r_0038_0020__more(R_0038_0020__MORE)
& r_0038_0016__that_r_0038_0017__there_r_0038_0018__could_r_0038_0019__be(R_0038_0016__THAT_R_0038_0017__THERE_R_0038_0018__COULD_R_0038_0019__BE)
& has_nim59(R_0038_0016__THAT_R_0038_0017__THERE_R_0038_0018__COULD_R_0038_0019__BE,Z_000_38_A_ALRESFORD_59)
& has_arg0(R_0038_0016__THAT_R_0038_0017__THERE_R_0038_0018__COULD_R_0038_0019__BE,Z_000_38_A_ALRESFORD_55)
& z_000_38_a_alresford_55(Z_000_38_A_ALRESFORD_55)
& has_attrib56(Z_000_38_A_ALRESFORD_55,R_0038_0020__MORE) ) )
& has_arg0(Z_000_38_A_ALRESFORD_38,R_0038_0001__I)
& has_conj1(R_0038_0013__AND,R_0038_0003__HAD)
& r_0038_0003__had(R_0038_0003__HAD)
& has_arg1(R_0038_0003__HAD,R_0038_0006__CONTRACT)
& r_0038_0006__contract(R_0038_0006__CONTRACT)
& has_r_0038_0007__for(R_0038_0006__CONTRACT,R_0038_0008__A_R_0038_0009__TV_R_0038_0010__DRAMA_R_0038_0011__SERIES)
& has_attrib16(R_0038_0006__CONTRACT,R_0038_0005__FIRST)
& has_gen(R_0038_0006__CONTRACT,R_0038_0001__I)
& has_arg0(R_0038_0003__HAD,R_0038_0001__I)
& r_0038_0023__came(R_0038_0023__CAME)
& has_r_0038_0024__from_clr72(R_0038_0023__CAME,Z_000_38_A_ALRESFORD_59)
& has_arg0(R_0038_0023__CAME,R_0038_0022__THAT) ) ).
( (IP-MAT (NP-SBJ (PRO I;{I}))
(HVD;_cat_Ve_ <apos>d;{have})
(IP-PPL-CAT (ILYR (ILYR (HVN;_Tn_ had;{have})
(NP-OB1;{FIRST_CONTRACT} (NP-GEN (PRO;_genm_ my;{my}))
(ADJP (ADJ first;{first}))
(N contract;{contract})
(PP (P-ROLE for;{for})
(NP (D a;{a})
(N TV;{tv})
(N drama;{drama})
(N series;{series})))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-OB1 (D a;{a})
(N hint;{hint})
(CP-THT (IP-SUB (C that;{that})
(EX there;{there})
(MD;_cat_Vi_ could;{can})
(IP-INF-CAT (BE;_ex_V_ be;{be})
(NP-ESBJ (ADJP (ADJR more;{more})))
(NP-NIM (IP-REL (ADVP-103 (RADV where;{where}))
(NP-SBJ;{FIRST_CONTRACT} (D;_nphd_ that;{that}))
(VBD;_Ipr_ came;{come[from]})
(PP-CLR (P-ROLE from;{from})
(ADVP *ICH*-103)))))
(PP-SCON (P-CONN if;{if})
(IP-ADV (NP-SBJ (PRO I;{I}))
(VBD;_Cn.a_ made;{make})
(NP-OB1 (PNX myself;{myself}))
(ADJP-PRD (ADJ available;{available})))))))))))
(PUNC .))
(ID 38_a_alresford))