PREFIX : <https://example.org/ns/example#>

{ :will :lives _:b0 . _:b0 :place :buckinham_palace ; :number 12  } a :Lie .
{ { ?person :lives ?place. ?place :place :buckinham_palace ; :number 12 } a :Lie } => { ?place a :IncorrectPlace } .
