80_a_lob_a02
‘It is true he made a point of again being absent from Northern Rhodesia when his followers have indulged in such violence.’
( (IP-MAT (PULQ <lquo>)
(NP-SBJ (PRO;_provisional_ It;{it}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADJ true;{true}))
(CP-THT-NSBJ (IP-SUB (NP-SBJ;{KAUNDA} (PRO he;{he}))
(VBD;__ made;{make})
(NP-OB1 (D a;{a})
(N point;{point})
(PP (P-ROLE of;{of})
(IP-PPL (ADVP-NIM (ADV again;{again}))
(BAG;_La_ being;{be})
(ADJP-PRD (ADJ absent;{absent})
(PP (P-ROLE from;{from})
(NP (NPR Northern;{Northern})
(NPR Rhodesia;{Rhodesia}))))
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ (NP-GEN;{KAUNDA} (PRO;_genm_ his;{his}))
(NS followers;{follower}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (VVN;__ indulged;{indulge})
(PP-CLR (P-ROLE in;{in})
(NP (ADJP (ADJ;_such_ such;{such}))
(N violence;{violence})))))))))))
(PUNC .)
(PURQ <rquo>))
(ID 80_a_lob_a02))
arc(r_0080_0003__is,r_0080_0004__true,prd).
arc(r_0080_0003__is,r_0080_0006__made,arg0).
arc(r_0080_0006__made,r_0080_0005__he,arg0).
arc(r_0080_0006__made,r_0080_0007__a_r_0080_0008__point,arg1).
arc(r_0080_0007__a_r_0080_0008__point,r_0080_0016__when,r_0080_0009__of).
arc(r_0080_0011__being,r_0080_0010__again,nim).
arc(r_0080_0011__being,r_0080_0012__absent,prd).
arc(r_0080_0011__being,z_0080_5006,arg0).
arc(r_0080_0012__absent,r_0080_0014__Northern_r_0080_0015__Rhodesia,r_0080_0013__from).
arc(r_0080_0016__when,r_0080_0011__being,scope).
arc(r_0080_0016__when,r_0080_0019__have,restriction).
arc(r_0080_0018__followers,r_0080_0005__he,gen).
arc(r_0080_0019__have,r_0080_0020__indulged,scope).
arc(r_0080_0020__indulged,r_0080_0018__followers,arg0).
arc(r_0080_0020__indulged,r_0080_0023__violence,r_0080_0021__in__clr).
arc(r_0080_0023__violence,r_0080_0022__such,attrib).
fof(formula,axiom,
? [R_0080_0004__TRUE,R_0080_0005__HE,R_0080_0007__A_R_0080_0008__POINT,R_0080_0006__MADE,R_0080_0003__IS] :
( r_0080_0004__true(R_0080_0004__TRUE)
& r_0080_0005__he(R_0080_0005__HE)
& r_0080_0003__is(R_0080_0003__IS)
& has_arg0(R_0080_0003__IS,R_0080_0006__MADE)
& r_0080_0006__made(R_0080_0006__MADE)
& has_arg1(R_0080_0006__MADE,R_0080_0007__A_R_0080_0008__POINT)
& r_0080_0007__a_r_0080_0008__point(R_0080_0007__A_R_0080_0008__POINT)
& ! [R_0080_0019__HAVE_R_0080_0020__INDULGED,R_0080_0018__FOLLOWERS,R_0080_0022__SUCH,R_0080_0023__VIOLENCE] :
( ( r_0080_0022__such(R_0080_0022__SUCH)
& r_0080_0019__have_r_0080_0020__indulged(R_0080_0019__HAVE_R_0080_0020__INDULGED)
& has_r_0080_0021__in__clr(R_0080_0019__HAVE_R_0080_0020__INDULGED,R_0080_0023__VIOLENCE)
& r_0080_0023__violence(R_0080_0023__VIOLENCE)
& has_attrib(R_0080_0023__VIOLENCE,R_0080_0022__SUCH)
& has_arg0(R_0080_0019__HAVE_R_0080_0020__INDULGED,R_0080_0018__FOLLOWERS)
& r_0080_0018__followers(R_0080_0018__FOLLOWERS)
& has_gen(R_0080_0018__FOLLOWERS,R_0080_0005__HE) )
=> ? [R_0080_0010__AGAIN,R_0080_0014__NORTHERN_R_0080_0015__RHODESIA,R_0080_0012__ABSENT,Z_0080_5006,R_0080_0011__BEING] :
( r_0080_0010__again(R_0080_0010__AGAIN)
& r_0080_0014__Northern_r_0080_0015__Rhodesia(R_0080_0014__NORTHERN_R_0080_0015__RHODESIA)
& z_0080_5006(Z_0080_5006)
& r_0080_0011__being(R_0080_0011__BEING)
& has_arg0(R_0080_0011__BEING,Z_0080_5006)
& has_prd(R_0080_0011__BEING,R_0080_0012__ABSENT)
& r_0080_0012__absent(R_0080_0012__ABSENT)
& has_r_0080_0013__from(R_0080_0012__ABSENT,R_0080_0014__NORTHERN_R_0080_0015__RHODESIA)
& has_nim(R_0080_0011__BEING,R_0080_0010__AGAIN) ) )
& has_arg0(R_0080_0006__MADE,R_0080_0005__HE)
& has_prd(R_0080_0003__IS,R_0080_0004__TRUE) ) ).