#const n=1. #const m=2. n {query_yes_no(A) : physical_action(A), not explicit_in_story(A)} m. n {query_when(A) : physical_action(A), not explicit_in_story(A)} m. n {query_where(P, A) : person(P), physical_action(A)} m. n {query_who(A) : physical_action(A), not explicit_in_story(A)} m. n {query_who_whom(A) : physical_action(A), not explicit_in_story(A)} m. n {query_what(F, A) : physical_action(A), fluent(F), not explicit_in_story(F)} m. n {query_goal(P, A) : person(P), physical_action(A)} m. n {query_intended(A) : physical_action(A)} m. explicit_in_story(A) :- st_hpd(A, B, S). explicit_in_story(F) :- st_obs(F, B, S).