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_38_23_CAME,R_38_22_THAT,Z_38_A_ALRESFORD_59] :
( that(R_38_22_THAT)
& ~ ? [R_38_13_AND,R_38_3_HAD,R_38_6_CONTRACT,R_38_5_FIRST,R_38_8_A_TV_DRAMA_SERIES,Z_38_A_ALRESFORD_38,R_38_1_I,R_38_14_A_HINT] :
( first(R_38_5_FIRST)
& a_TV_drama_series(R_38_8_A_TV_DRAMA_SERIES)
& i(R_38_1_I)
& and(R_38_13_AND)
& conj1(R_38_13_AND,R_38_3_HAD)
& had(R_38_3_HAD,R_38_1_I,R_38_6_CONTRACT)
& contract(R_38_6_CONTRACT)
& attrib16(R_38_6_CONTRACT,R_38_5_FIRST)
& gen(R_38_6_CONTRACT,R_38_1_I)
& for(R_38_6_CONTRACT,R_38_8_A_TV_DRAMA_SERIES)
& conj2(R_38_13_AND,Z_38_A_ALRESFORD_38)
& z_38_a_alresford_38(Z_38_A_ALRESFORD_38,R_38_1_I,R_38_14_A_HINT)
& ! [R_38_27_MADE,R_38_29_AVAILABLE] :
( ( available(R_38_29_AVAILABLE)
& made(R_38_27_MADE,R_38_1_I,R_38_1_I,R_38_29_AVAILABLE) )
=> ? [R_38_16_THAT_THERE_COULD_BE,Z_38_A_ALRESFORD_55,R_38_20_MORE] :
( more(R_38_20_MORE)
& that_there_could_be(R_38_16_THAT_THERE_COULD_BE,Z_38_A_ALRESFORD_55)
& z_38_a_alresford_55(Z_38_A_ALRESFORD_55)
& attrib56(Z_38_A_ALRESFORD_55,R_38_20_MORE)
& nim59(R_38_16_THAT_THERE_COULD_BE,Z_38_A_ALRESFORD_59) ) )
& emb45(EMB45)
& a_hint(R_38_14_A_HINT) )
& came(R_38_23_CAME,R_38_22_THAT)
& from_clr72(R_38_23_CAME,Z_38_A_ALRESFORD_59) ) ).
( (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))