(P21)	(Q6581072)
(P22)	(Q65154254) (P248)
(P25)	(Q96244934) (P248)
(P26)	(Q96244929)
(P31)	(Q5)
(P40)	(Q96244928) (P248)
(P735)	(Q6078151)

External Links

(P1819)	I00315581
(P7929)	p=isabelle;n=de nully