Semantic parsing

First order logic representation

%%% This output was generated by the following command:
%%% /home/gingerbeard/candc/bin/boxer --stdin --semantics fol 
%%% I want food 
id(1,1).
fol(1,some(A,and(n1person(A),some(B,some(C,and(r1theme(B,C),and(r1agent(B,A),and(v1want(B),n1food(C))))))))).


First order logic representation

	There exists some A

		and that A
			is a person

			There exists some B
				There exists some C

					and 
						there is a relation/theme/frame between B and C

							Where A (person) is the agent of event B

								and B is a verb, the event 'want'
								and C is a noun, the direct object 'food'

fol(
	1,
	some(
		A,
		and(
			n1person(A),
			some(B,
				some(C,
					and(
						r1theme(B,C),
						and(
							r1agent(B,A),
							and(
								v1want(B),
								n1food(C)
							)
						)
					)
				)
			)
		)
	)
).