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