is known for his battles against

7 triples
GPTKB property