which pedigreed weighs more than 520.0 kgs?
(AND biology.pedigreed_animal (gt biology.organism.weight_kg 520.0^^http://www.w3.org/2001/XMLSchema#float))