world: river-crossing

kind: meta

opening: a farmer stands on the east bank with a fox, a goat and a cabbage. Ferry them all to the west bank — never leave the fox alone with the goat, or the goat alone with the cabbage.


kind: fact

subject: bank-east

object: bank


subject: bank-west


subject: fox

object: fox


subject: fox

object: goat


subject: goat


subject: goat

object: cabbage


subject: goat


subject: cabbage


subject: cabbage


subject: farmer

object: farmer


subject: farmer


subject: farmer


subject: fox-1


subject: fox-1

object: passenger


subject: fox-1

object: bank-east


subject: goat-1


subject: goat-1


subject: goat-1


subject: cabbage-1


subject: cabbage-1


subject: cabbage-1


subject: farmer-1


subject: farmer-1


ferry onto

kind: rule

ruleKind: action-signature

subjectClass: passenger

targetClass: bank


subjectClass: farmer


ruleKind: action-effect

predicate: currently-in

subjectRole: subject

objectRole: target


subjectRole: farmer