The PropBank project (Kingsbury and Palmer, 2002) provides a large human-annotated corpus of semantic verb-argument relations.
we encode the constraints as linear inequalities, and use integer linear programming(ILP) as an inference procedure to make a final decision that is both consistent with the constraints and most likely according to the learning system.