HypoTeens(?y), Teens(?x), hasHypoTe

HypoTeens(?y), Teens(?x), hasHypoTeens(?x, ?y) ->
diagHypoTeens(?x, ?y)

ผลลัพธ์ (ไทย) 2:

HypoTeens, วัยรุ่น, hasHypoTeens (x, y?) (y) (x) ->
diagHypoTeens (? x, y)

ผลลัพธ์ (ไทย) 3:

hypoteens ( ? Y ) , วัยรุ่น ( ? hashypoteens ( , x ) ? X , ? Y ) - >
diaghypoteens ( ? X , ? Y )