!752

static S code = [=[
  
  [
    if [X < is < a < guy]
    then [X < has < a < gun]
  ]
  
  [ mark < is < a < guy ]
  
]=];

p {
  new Prolog p;
  //p.showStuff = true;
  p.addClauses(snlToTree(code));
  printStructure(p.solve(snlToTree("mark < has < a < X"))); // prints X = gun!
}