I want to perform a top down approach to this knowledge base

$\%$ before$($T$1,$T$2)$ is true if time T$1$ is before time T$2$ in a day.

before$($am$($H$1,$M$1),$pm$($H$2,$M$2)).$

before$($am$(12,$M$1),$am$($H$2,$M$2))<-$

H$2<12.$

before$($am$($H$1,$M$1),$am$($H$2,$M$2))<-$

H$1$