(HBB_HUMAN,(HBB_HORSE,((HBA_HUMAN,HBA_HORSE),((MYG_PHYCA,GLB5_PETMA),LGB2_LUPLU)))); (HBB_HUMAN,(HBB_HORSE,((HBA_HUMAN,HBA_HORSE),(MYG_PHYCA,(GLB5_PETMA,LGB2_LUPLU))))); (HBB_HUMAN,(HBB_HORSE,((HBA_HUMAN,HBA_HORSE),((MYG_PHYCA,LGB2_LUPLU),GLB5_PETMA)))); (HBB_HUMAN,((MYG_PHYCA,GLB5_PETMA,LGB2_LUPLU),(HBA_HUMAN,HBA_HORSE)),HBB_HORSE);