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.’
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, nim28).
arc(r_0080_0011__being, r_0080_0012__absent, prd).
arc(r_0080_0011__being, z_000_80_a_lob_a02_27, 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_clr62).
arc(r_0080_0023__violence, r_0080_0022__such, attrib63).
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_clr62(R_0080_0019__HAVE_R_0080_0020__INDULGED,R_0080_0023__VIOLENCE)
& r_0080_0023__violence(R_0080_0023__VIOLENCE)
& has_attrib63(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_000_80_A_LOB_A02_27,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_000_80_a_lob_a02_27(Z_000_80_A_LOB_A02_27)
& r_0080_0011__being(R_0080_0011__BEING)
& has_arg0(R_0080_0011__BEING,Z_000_80_A_LOB_A02_27)
& 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_nim28(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) ) ).
( (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))