CL-USER> (is-x-a-y? {person} {animal})
T
CL-USER> (is-x-a-y? {dog} {animal})
T
CL-USER> (is-x-a-y? {dog} {person})
NIL
CL-USER> (is-x-a-y? {boy} {person})
T
CL-USER> (is-x-a-y? {boy} {animal})
T
CL-USER> (is-x-a-y? {boy} {girl})
NIL
CL-USER> (is-x-a-y? {woman} {girl})
NIL
CL-USER> (is-x-a-y? {girl} {woman})
NIL
CL-USER> (is-x-a-y? {girl} {female})
T
CL-USER> (is-x-a-y? {woman} {female})
T
CL-USER> (is-x-a-y? {cat} {female})
NIL
CL-USER> (is-x-a-y? {person} {sexually reproducing})
T
CL-USER> (is-x-a-y? {boy} {sexually reproducing})
T
CL-USER> (is-x-a-y? {bat} {man})
NIL