%% Three Rings for the Elven-kings under the sky, Seven for the Dwarf-lords in their halls of stone, Nine for Mortal Men doomed to die, One for the Dark Lord on his dark throne In the Land of Mordor where the Shadows lie.
sentence('theLordOfTheRingsTheFellowOfTheRing_TheBook',sentenceIdFn(1),'Three Rings for the Elven-kings under the sky, Seven for the Dwarf-lords in their halls of stone, Nine for Mortal Men doomed to die, One for the Dark Lord on his dark throne In the Land of Mordor where the Shadows lie.').
hasFormalization('theLordOfTheRingsTheFellowOfTheRing_TheBook',sentenceFn(1),
                 [
                  and(for(qty(3,ring),whom(pluralFn(elven(king_HeadOfState)),under(Whom,sky))),
		      for(qty(7,ring),whom(pluralFn(dwarven(king_HeadOfState)),in(Whom,of(pluralFn(hall),stone)))),
		      for(qty(9,ring),whom(pluralFn(men),whom(and(mortal(Whom),doomedTo(Whom,die))))),
		      for(qty(1,ring),whom(theDarkLord,on(Whom,and(possessionFn(Whom,Throne),isa(Throne,throne),in(Whom,mordor),located(shadows,mordor))))))
                 ]).

%% One Ring to rule them all, One Ring to find them, One Ring to bring them all and in the darkness bind them In the Land of Mordor where the Shadows lie.
sentence('theLordOfTheRingsTheFellowOfTheRing_TheBook',sentenceIdFn(2),'One Ring to rule them all, One Ring to find them, One Ring to bring them all and in the darkness bind them In the Land of Mordor where the Shadows lie.').
hasFormalization('theLordOfTheRingsTheFellowOfTheRing_TheBook',sentenceFn(2),
                 [
                  and(in(inOrderTo(qty(1,ring),and(rule(all),find(them),and(bring(all),in(darkness,bind(all))))),mordor),located(shadows,mordor))
                 ]).