(=> (instance ?MAKE Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKE ?ARTIFACT))))
Next Making: Constructing Up: Making Previous Making: Cooking