Property information
definition
X 'has host' y if and only if: x is an organism, y is an organism, and x can live on the surface of or within the body of y