@keywords is, of, a.

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <pd_hes#>.

{{a1 p a1. b2 p b2} => {a1 i ?L0. b2 i ?L0}} e:tactic (() (
	{{?L0 l ?L0. oc l oc} => {?P1 i ?L0. ?P1 i oc}}
	{{?P1 p ?P1. ac p ac} => {?P1 i ?L2. ac i ?L2}}
	{{?L2 l ?L2. a2b2 l a2b2} => {?P3 i ?L2. ?P3 i a2b2}}
	{{?P3 p ?P3. o p o} => {?P3 i ?L4. o i ?L4}}
	{{?L4 l ?L4. a1c1 l a1c1} => {?P5 i ?L4. ?P5 i a1c1}}
	{{? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. b2 i ?. ? i ?. ? i ?. b2 i ?. ? i ?. ? i ?. c2 i ?. ? i ?. ? i ?. c2 i ?. ? i ?. ? i ?. ?P5 i ?. ? i ?. ? i ?. ?P5 i ?} => ({? l ?} {? l ?} {? l ?} {? l ?. b2 i ?. c2 i ?. ?P5 i ?})!e:disjunction}
	{{?L4 l ?L4. a1b1 l a1b1} => {?P6 i ?L4. ?P6 i a1b1}}
	{{? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ?P1 i ?. ? i ?. ? i ?. ?P1 i ?. ? i ?. ? i ?. ?P6 i ?. ? i ?. ? i ?. ?P6 i ?. ? i ?. ? i ?. bc i ?. ? i ?. ? i ?. bc i ?} => ({? l ?} {? l ?} {? l ?} {? l ?. ?P1 i ?. ?P6 i ?. bc i ?})!e:disjunction}
	{{? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ab i ?. ? i ?. ? i ?. ab i ?. ? i ?. ? i ?. bc i ?. ? i ?. ? i ?. bc i ?. ? i ?. ? i ?. ac i ?. ? i ?. ? i ?. ac i ?} => ({? l ?} {? l ?} {? l ?} {? l ?. ab i ?. bc i ?. ac i ?})!e:disjunction})).

{{?P p ?P. ?Q p ?Q} => {?P i ?L. ?Q i ?L}} e:tactic ([ rdf:first {{?P p ?P. ?Q p ?Q} => {?P i ?L. ?Q i ?L}}; rdf:rest ?T] ?T).

{{?L l ?L. ?M l ?M} => {?P i ?L. ?P i ?M}} e:tactic ([ rdf:first {{?L l ?L. ?M l ?M} => {?P i ?L. ?P i ?M}}; rdf:rest ?T] ?T).

{{? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ?G i ?. ? i ?. ? i ?. ?G i ?. ? i ?. ? i ?. ?H i ?. ? i ?. ? i ?. ?H i ?. ? i ?. ? i ?. ?I i ?. ? i ?. ? i ?. ?I i ?} => ({? l ?} {? l ?} {? l ?} {? l ?. ?G i ?. ?H i ?. ?I i ?})!e:disjunction} e:tactic (
	[ rdf:first {{? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ? i ?. ?G i ?. ? i ?. ? i ?. ?G i ?. ? i ?. ? i ?. ?H i ?. ? i ?. ? i ?. ?H i ?. ? i ?. ? i ?. ?I i ?. ? i ?. ? i ?. ?I i ?} => ({? l ?} {? l ?} {? l ?} {? l ?. ?G i ?. ?H i ?. ?I i ?})!e:disjunction}; rdf:rest ?T] ?T).